Week 1
2.3.2022: Sets
3.3.2022: Formal logic
Week 2
9.3.2022: Proof method
10.3.2022: Equivalence relations, partitions, partial orders
- Covered last bit of induction and Section 1.4
Week 3
16.3.2022: Functions and cardinalities
- Covered Sections 1.5 and 1.6
17.3.2022: Enumerative combinatorics: multiplication rule, binomial coefficients
- Covered Sections 2.1 and 2.2
Week 4
23.3.2022: Enumerative combinatorics: inclusion-exclusion principle
24.3.2022: Permutations and groups
Week 5
30.3.2022: Graph theory: concepts
- Covered Sections 3.1, 3.2 and beginning of 3.3
31.3.2022: Graph theory: algorithms
- Covered rest of Section 3.3 and then all of 3.4
Week 6
6.4.2022: Number theory: Divisibility and Diophantine equations
- Covered Sections 4.1 and 4.2
7.4.2022: Number theory: Modular arithmetics and Fermat's little theorem
- Covered Sections 4.3, 4.4 and discussed briefly 4.5