

Schedule
 Week 17 (11th Jan): The Foundations, Logic
 Week 18 (18th Jan): Predicates and Quantifiers, Sets
 Week 19 (25th Jan): Set Operations and Functions
 Week 20 (1st Feb): Sequences and Summations, Cardinality, Integers and Division
 Week 21 (8th Feb): Integers and Algorithms, and Matrices
 Week 22 (15th Feb): Rules of Inference and Methods of Proof
 Week 23 (22nd Feb): Mathematical Induction and Recursive Definitions
 Week 24 (1st Mar): The Halting Problem, Complexity, and The Pigeonhole Principle
 Week 25 (8th Mar): Counting
 Week 26 (15th Mar): Graphs and Trees
 Week 27 (22nd Mar): Relations
