Date | Topic | Slides | Reading |
July 23 (Mon) | Logic: Propositional logic | Chapter 1 | |
July 26 (Thu) | Logic: Propositional and Predicate logic | Chapter 1 | |
July 30 (Mon) | Logic: Predicate logic, Rules of inference | Chapter 1 | |
August 02 (Thu) | Logic: Rules of inference, Resolution and Quiz-01 | Chapter 1 | |
August 06 (Mon) | Logic: Proof Techniques | Chapter 1 | |
August 09 (Thu) | Logic: Proof Techniques and strategies and Quiz-02 | Chapter 1 | |
August 13 (Mon) | Sets, functions, sequences: Definitions, cardinality | Chapter 2 | |
August 16 (Thu) | Sets, functions, sequences: Cardinality and Quiz-03 | Chapter 2 | |
August 20 (Mon) | Algorithms: Algorithm basics, asymptotic worst-case analysis | Chapter 3 | |
August 24 (Fri) | Minor-1 (11-12, LH111) (PDF) | ||
August 27 (Mon) | Algorithms: Asymptotic worst-case analysis | Chapter 3 | |
August 30 (Thu) | Algorithms: Asymptotic worst-case analysis, Halting problem and Quiz-04 | Chapter 3 | |
September 06 (Thu) | Number Theory and Cryptography: Modular arithmetic and Quiz-05 | Chapter 4 | |
September 10 (Mon) | Number Theory and Cryptography: Karatsuba, GCD, Euclid's algorithm | Chapter 4 | |
September 13 (Thu) | Number Theory and Cryptography: Extended Euclid's algorithm, Chinese Remaindering Theorem and Quiz-06 |
PDF Karatsuba link |
Chapter 4 |
September 17 (Mon) | Number Theory and Cryptography: Chinese Remaindering Theorem, basic group theory, RSA | Chapter 4 | |
September 20 (Thu) | Number Theory and Cryptography: Basic group theory, RSA, Diffie-Hellman and Quiz-07 | Chapter 4 | |
September 24 (Mon) | Induction and Recursion: Mathematical induction | Chapter 5 | |
September 27 (Thu) | Induction and Recursion: Strong induction and Quiz-08 | Chapter 5 | |
October 04 (Thu) | Minor-2 (11-12, LH111) (PDF) | ||
October 08 (Mon) |
Induction and Recursion: Recursion Counting: Basic counting, Pigeonhole principle |
Chapter 5 | |
October 11 (Thu) | Counting: Basic counting, Pigeonhole principle and Quiz-09 | Chapter 5 and 6 | |
October 22 (Mon) |
Counting: Permutation/Combination Discrete Probability: |
- | Chapter 6, 7 (Intl. Version) |
October 25 (Thu) |
Counting: Permutation/Combination Discrete Probability: |
- | Chapter 6, 7 (Intl. Version) |
October 27 (Sat) |
Counting: Permutation/Combination Discrete Probability: Definitions, Random Variables and Quiz-10 |
Chapter 6, 7 (Intl. Version) | |
October 29 (Mon) | Discrete Probability: Birthday Theorem, Probabilistic Method | Chapter 7 (Intl. Version) | |
November 01 (Thu) | Discrete Probability: Bayes’ theorem, expectation and Quiz-11 | Chapter 7 (Intl. Version) | |
November 05 (Mon) |
Discrete Probability: Expectation, Variance, Markov, Chebychev Advanced Counting: Introduction |
Chapter 7 (Intl. Version) | |
November 12 (Mon) | Advanced Counting: Solving recurrences, generating functions | Chapter 8 (Intl. Version) | |
November 15 (Thu) | Universal Hashing and and Quiz-12 | - | |
November 22 (Thu) | Major (1-3, LH121) |