Session 5
Test I + Review of the week
Session 6
Quantifier notation, logic
Session 7
Proof techniques I
Session 8
Proof techniques II
Session 9
Logical functions, Boolean algebra
Session 10
Test II + Review of the week
Session 11
Recursion
Session 12
Graphs I
COURSE OUTLINESession 3
Functional relations
Session 4
Computational techniques
Session 2
Relations
Session 1
Sets
Session 13
Graphs II
Session 14
Tutorial
Session 15
Final Exam