RU
Teaching
Teaching materials on the course “Discrete Mathematics and Theory of Algorithms”, Department of Mechanics and Mathematics, Novosibirsk State University
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 )
Σ-formulas and Σ-definable functions (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 )
Last updated: November 13, 2024