Teaching

Teaching materials on the course “Discrete Mathematics and Theory of Algorithms”, Department of Mechanics and Mathematics, Novosibirsk State University

• Text of lectures (in Russian). (online version in the electronic library of NSU)
• Program of the course, autumn 2023 (in Russian). (.pdf)
• Exam information, autumn 2023 (in Russian). (.pdf)
• A Web-Based Turing Machine Simulator, by Anthony Morphett.

Teaching materials on the course “Mathematical Logic”, Department of Mechanics and Mathematics, Novosibirsk State University

• Formulas of Propositional Logic (in Russian) (.pdf)
• Axioms and rules of Hilbertian Propositional Calculus (in Russian) (.pdf)
• Axioms and rules of Sequent Propositional Calculus (in Russian) (.pdf)
• Disjunctive and conjunctive normal forms (in Russian) (.pdf)
• Binary relations (in Russian) (.pdf)
• Ordinals and cardinals (in Russian) (.pdf)
• Algebraic systems of a signature Σ (in Russian) (.pdf)
• Terms and formulas of a signature Σ (in Russian) (.pdf)
• Reduced products of systems (in Russian) (.pdf)
• Questions for the colloquium, spring semester (in Russian) (.pdf)
• Axioms and rules of Hilbertian Predicate Calculus (in Russian) (.pdf)
• Axioms and rules of Sequent Predicate Calculus (in Russian) (.pdf)
• Introduction to Model Theory (in Russian) (.pdf)
• Peano arithmetic (in Russian) (.pdf)
• Gödel numbering for terms and formulas (in Russian) (.pdf)
• Questions for the colloquium, autumn semester (in Russian) (.pdf)
• Sütterlin script (gothic cursive) (.gif)