Course was designed and taught by Andrew Stankevich at ITMO University in 2017–19 (year2017, 1st–4th semesters).
- Boolean functions (statements (ru), solutions)
- Algorithms of data compression (statements (ru), solutions)
- Combinatorics (statements (ru), solutions)
- Probability theory (statements (ru), solutions)
- Finite-state machines (statements (ru), solutions)
- Context-free grammars (statements (ru))
- Hamilton cycles (statements (ru), solutions)
- Matroids (statements (ru), solutions)
- Matroid intersections (statements (ru))
- Planar graphs (statements (ru), solutions)
- Generating functions (statements (ru), solutions)
- Turing Machine (statements (ru), solutions)