| Date | Topic | Slides | Reading |
| Jan 20 (Tue) | Logic: Propositional logic | Chapter 1 | |
| Jan 21 (Wed) | Logic: Propositional logic | Chapter 1 | |
| Jan 23 (Fri) | Logic: Propositional and Predicate logic | Chapter 1 | |
| Jan 27 (Tue) | Logic: Predicate logic | Chapter 1 | |
| Jan 28 (Wed) | Logic: Predicate logic, rules of inference | Chapter 1 | |
| Jan 30 (Fri) |
Logic: Rules of inference Quiz-01 |
Chapter 1 | |
| Feb 03 (Tue) | Logic: Rules of inference, resolution | Chapter 1 | |
| Feb 04 (Wed) | Logic: Proof Techniques | Chapter 1 | |
| Feb 06 (Fri) |
Logic: Proof Techniques Quiz-02 |
Chapter 1 | |
| Feb 10 (Tue) | Logic: Proof Techniques and strategies | Chapter 1 | |
| Feb 11 (Wed) | Sets, Functions, Sequences: Definitions | Chapter 2 | |
| Feb 13 (Fri) |
Predicate logic review Quiz-03 |
||
| Feb 17 (Tue) | Sets, Functions, Sequences: Definitions | Chapter 2 | |
| Feb 18 (Wed) | Sets, Functions, Sequences: Cardinality | Chapter 2 | |
| Feb 20 (Fri) |
Sets, Functions, Sequences: Cardinality Quiz-04 |
Chapter 2 | |
| Feb 24 (Tue) | Sets, Functions, Sequences: Countable and uncountable sets | Chapter 2 | |
| Feb 25 (Wed) | Sets, Functions, Sequences: Schröder-Bernstein Theorem | Chapter 2 | |
| Mar 06 (Fri) | Sets, Functions, Sequences: Tutorial problems discussion | Chapter 2 | |
| Mar 24 (Tue) | Algorithms: Algorithms basics | Chapter 3 | |
| Mar 25 (Wed) | Algorithms: Asymptotic Worst Case Analysis | Chapter 3 | |
| Mar 26 (Thu) |
Algorithms: Asymptotic Worst Case Analysis, The Halting problem |
Chapter 3 | |
| Mar 27 (Fri) |
Algorithms: The Halting Problem, Number Theory and Cryptography: Modular Arithmetic |
Chapter 4 | |
| Mar 31 (Tue) |
Number Theory and Cryptography: Modular Arithmetic Complexity of arithmetic operations |
Chapter 4 | |
| Apr 01 (Wed) |
Number Theory and Cryptography: prime and composite Euclid-GCD algorithm |
Chapter 4 | |
| Apr 07 (Tue) |
Number Theory and Cryptography: Euclid-GCD algorithm Bezout's identity |
Chapter 4 | |
| Apr 08 (Wed) |
Number Theory and Cryptography: Multiplicative group, multiplicative inverse Extended-Euclid-GCD |
Chapter 4 | |
| Apr 10 (Fri) | Number Theory and Cryptography: Chinese Remaindering Theorem | Chapter 4 | |
| Apr 14 (Tue) | Number Theory and Cryptography: RSA, basic group theory | Chapter 4 | |
| Apr 15 (Wed) | Number Theory and Cryptography: Group theory, Lagrange's theorem | Chapter 4 | |
| Apr 17 (Fri) |
Number Theory and Cryptography: RSA, Diffie-Hellman Induction and recursion: Well ordering principle |
Chapter 5 | |
| Apr 28 (Tue) | Induction and recursion: Induction Examples | Chapter 5 | |
| Apr 29 (Wed) |
Induction and recursion: Strong Induction Examples Recursively defined sets and functions |
Chapter 5 | |
| May 01 (Fri) |
Induction and recursion: Recursively defined sets, structural induction Counting: Product rule |
Chapter 5, 6 | |
| 03 May (Sun) |
Counting: Product, sum, subtraction, division rules Counting: Pigeonhole principle |
Chapter 6 | |
| 05 May (Tue) | Counting: Pigeonhole principle | Chapter 6 | |
| 06 May (Wed) | Counting: Permutation and Combination | Chapter 6 | |
| 08 May (Fri) |
Counting: Permutation and Combination Discrete Probablity: Definitions |
Chapter 6, 7 | |
| 10 May (Sun) | Discrete Probablity: Distribution, Bernoulli trial | Chapter 7 | |
| 12 May (Tue) |
Discrete Probablity: Random Variable, Birthday problem Monte Carlo Algorithm Quiz-5 |
Chapter 7 | |
| 13 May (Wed) |
Discrete Probablity: Monte Carlo Algorithm, Probabilistic method, Bayes' Theorem |
Chapter 7 | |
| 15 May (Fri) |
Discrete Probablity: Bayes' Theorem, Expectation, Linearity of expectation |
Chapter 7 |