Only very high-level class notes will be released: they are meant to reinforce the lecture, not replace it. Lecture topics are tentative. You are highly encouraged to attend all lectures and write your own notes.

Date | Topics | Book Sections |
---|---|---|

January 25 | Lecture 1: Proof, Set, Subset | |

January 27 | Lecture 2: Proposition, Predicate, Proof by Contradiction | |

January 30 | Lecture 3: Rational Numbers, Set, Set-Builder Notation, Cardinality, Set Operations, Power Set | |

February 01 | Lecture 4: Element Method, Quantifiers, Existential Proof, Constructive Proof, Proof by Cases | |

February 03 | Lecture 5: Cartesian Product, Relation, Properties of Relations, Equivalence Relation, Equivalence Class, Partition | |

February 06 | Lecture 6: Function | |

February 08 | Lecture 7: Injectivity, Surjectivity, Bijectivity, Cardinality of Sets | |

February 10 | Lecture 8: Bijective Proof, Induction I | |

February 13 | Lecture 9: Induction II, Strong Induction | |

February 15 | Lecture 10: Divisibility, Primes | |

February 17 | Lecture 11: Division Algorithm, GCD, Euclidean Algorithm, Relative Primes | |

February 22 | Lecture 12: Modular Arithmetic I, Congruence Properties | |

February 24 | Lecture 13: Modular Arithmetic II, Fermat's Little Theorem | |

February 27 | Lecture 14: Modular Arithmetic III, Euler's Totient Function, Encryption | |

March 01 | Lecture 15: RSA Encryption | |

March 03 | Lecture 16: Logical Operators, Conditional, Proposition, Predicate, Truth Tables | |

March 06 | Lecture: TBD |
--- |

March 08 | Lecture: TBD |
--- |

March 10 | Lecture: TBD |
--- |

March 13 | Lecture: TBD |
--- |

March 15 | Lecture: TBD |
--- |

March 17 | Lecture: TBD |
--- |

March 20 | Lecture: TBD |
--- |

March 22 | Lecture: TBD |
--- |

March 24 | Lecture: TBD |
--- |

April 03 | Lecture: TBD |
--- |

April 05 | Lecture: TBD |
--- |

April 07 | Lecture: TBD |
--- |

April 10 | Lecture: TBD |
--- |

April 12 | Lecture: TBD |
--- |

April 14 | Lecture: TBD |
--- |

April 17 | Lecture: TBD |
--- |

April 19 | Lecture: TBD |
--- |

April 21 | Lecture: TBD |
--- |

April 24 | Lecture: TBD |
--- |

April 26 | Lecture: TBD |
--- |