Welcome to Discrete Mathematics
ITMO University • Fall 2025 – Spring 2026 • Instructor: Konstantin Chukharev
This site contains all course materials, assignments, and resources for the Discrete Mathematics course.
🎯 Getting Started
New to the course?
- Start with Course Overview
- Review the Schedule
- Understand How You’re Graded
Need help?
- Check Support & Office Hours
- Browse Course Materials
Working on assignments?
📚 Lecture Slides (PDFs)
All lecture materials are available as downloadable PDFs:
| Week | Topic | |
|---|---|---|
| 1-2 | Set Theory | lec-sets.pdf |
| 3-5 | Binary Relations | lec-relations.pdf |
| 5-6 | Functions & Cardinality | lec-functions.pdf |
| 6-7 | Order Theory | lec-order.pdf |
| 8-10 | Boolean Algebra | lec-boolean.pdf |
| 11 | Flow Networks | lec-flows.pdf |
| 12-13 | Formal Languages | lec-languages.pdf |
| 13-14 | Automata Theory | lec-automata.pdf |
| 15-16 | Combinatorics | lec-combinatorics.pdf |
📝 Homework Assignments
| Assignment | |
|---|---|
| Homework 1: Set Theory | hw1.pdf |
| Homework 2: Relations | hw2.pdf |
| Homework 3: Boolean Algebra | hw3.pdf |
| Homework 4: Formal Logic | hw4.pdf |
| Homework 5: Graph Theory | hw5.pdf |
| Homework 6: Automata Theory | hw6.pdf |
| Homework 7: Combinatorics | hw7.pdf |
| Homework 8: Recurrences | hw8.pdf |
📄 Legacy Materials
| Material | |
|---|---|
| Cheatsheet: Set Theory | cheat1.pdf |
| Cheatsheet: Relations | cheat2.pdf |
| Cheatsheet: Boolean Algebra | cheat3.pdf |
| Cheatsheet: Formal Logic | cheat4.pdf |
| Cheatsheet: Graph Theory | cheat5.pdf |
| Cheatsheet: Automata Theory | cheat6.pdf |
| Cheatsheet: Combinatorics | cheat7.pdf |
📋 Course Documents
ℹ️ About This Course
Discrete Mathematics covers fundamental concepts essential for computer science:
- Set Theory - Operations, cardinality, axiomatic foundations
- Binary Relations - Equivalence, order, functions
- Boolean Algebra - Logic gates, circuit design
- Formal Logic - Propositional and predicate logic
- Automata & Languages - Regular languages, finite automata
- Combinatorics - Counting principles, generating functions
Repository: github.com/Lipen/discrete-math-course