Course contents

Textbook References



Supplementary Reading

Topics covered

  Date      Topics covered   Reference in Textbook       
  Jan 05   Introduction, propositions, predicates, examples of theorems and proofs, types of proof techniques (slides)   Kenneth Rosen Chapter 1
  Jan 10   Axioms, Mathematical Induction, Well-ordering principle, Strong Induction (slides)   Kenneth Rosen Chapter 1, 4
  Jan 12   Sets, Russell's paradox, infinite sets, functions (slides)   Kenneth Rosen Chapter 1, 4
  Jan 17   Countable and uncountable sets, Cantor's diagonalization technique (slides)   Kenneth Rosen Chapter 1, 4