Welcome to Discrete Mathematics

ITMO University • Fall 2025 – Spring 2026 • Instructor: Konstantin Chukharev

This is the central hub for all course materials, assignments, and resources.

New to the course?

📖 Course Overview – Structure, topics, and assessment
📅 Schedule – Weekly topics and important dates
📊 Grading System – Points breakdown and requirements

Need help?

💬 Support & Mentors – Telegram group and office hours
📚 Course Materials – Lecture slides, textbooks, cheatsheets

Working on assignments?

✏️ Homework – Guidelines, submission, defense
📝 Tests – Format, preparation, sample problems
🎓 Theoretical Minimums – Requirements and preparation

� Course Content

🍁 Fall Semester:

Module 1: Set Theory (Weeks 1–2, 6) – Operations, cardinality, axioms, Cantor’s theorem
Module 2: Binary Relations (Weeks 3–7) – Equivalence, orders, functions, lattices
Module 3: Boolean Algebra (Weeks 8–10) – Logic gates, circuits, K-maps, minimization
Module 4: Formal Logic (Weeks 11–16) – Propositional logic, natural deduction, quantifiers

🌱 Spring Semester:

Module 5: Graph Theory (Weeks 1–4) – Graphs, trees, paths, algorithms
Module 6: Flow Networks (Week 5) – Max flow, min cut, Ford-Fulkerson
Module 7: Automata Theory (Weeks 6–10) – DFA, NFA, regular languages, pumping lemma
Module 8: Combinatorics (Weeks 11–16) – Counting, generating functions, recurrences