1.1 KiB
1.1 KiB
General structure
Confidence scale (1-5)
Exercise 1
- Basic set theory (5)
- Combinations and Permutations (3)
Exercise 2
- Induction
- Equality (3)
- Comparisons (2)
- Strong Induction
- Equality (3)
- Comparisons (1)
Exercise 3
Exercise 4
- Matrix -> Graph (5)
- Relation analysis (4)
- Transitive closure (Warshall) (5)
- Boolean Matrix multiplication (3)
Exercise 5
- Properties of binary relations and proofs (2)
Exercise 6
Exercise 7
Exercise 8
Exercise 9
- Random proof (?)