ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Predicate Logic & Sets
After completing this section, students should be able to:
translate from a verbal statement involving universal and existential
quantifiers into a symbolic stateme

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Tutorial Exercises Set 5
Related objectives from Unit Outline:
represent relations using graphs or matrices, ordered pairs and arrow diagrams; identify
equivalence relations.
_
1:
P is a

Answers to Tutorial Exercises Set 1
1.
2. (i)
(a)
(i)
(iv)
ap
p (a m)
(b)
(i)
Either Andrew is late and Peter is driving his own car, or else Andrew
is not late and Max has caught the bus.
(ii)
Either Peter is driving his own car or else Max has not caugh

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Tutorial Exercises Set 1
Related objectives from Unit Outline:
use the laws of propositional logic to simplify or analyse compound propositions; use truth
tables to establish logical equi

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Symbolic Logic
After completing this section, students should be able to:
translate from a verbal statement into a symbolic statement, and
vice versa
construct truth tables for logical ex

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Functions
After completing this section, students should be able to:
state whether a given relation is a function
represent a function using ordered pairs, graphs or arrow
diagrams
use fu

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Relations
After completing this section, students should be able to:
represent a given relation between sets using a table
represent a given relation between sets using ordered pairs
repr

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Karnaugh maps and Applications
After completing this section, students should be able to:
given a sum of products, draw the corresponding
Karnaugh map
given a truth table, construct the c

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Boolean Algebra and Logic Circuits
After completing this section, students should be able to:
use truth tables for operators AND, OR and NOT
evaluate Boolean expressions involving these o

ENS1161 Computer Fundamentals
ENS4103 Computer Systems and Hardware
Tutorial Exercises Set 6
Related objectives from Unit Outline:
use function notation; identify onto and one-to-one functions; use composition of functions;
find the inverse of a function;