Преподавание
Материалы по курсу «Дискретная математика и теория алгоритмов», ММФ НГУ
Материалы по курсу «Математическая логика», ММФ НГУ
- Формулы логики высказываний (.pdf)
- Аксиомы и правила вывода ГИВ (.pdf)
- Аксиомы и правила вывода СИВ (.pdf)
- Дизъюнктивная и конъюнктивная нормальные формы (.pdf)
- Бинарные отношения (.pdf)
- Ординалы и кардиналы (.pdf)
- Алгебраические система сигнатуры Σ (.pdf)
- Термы и формулы сигнатуры Σ (.pdf)
- Фильтрованные произведения систем (.pdf)
- Список вопросов к коллоквиуму, весенний семестр (.pdf)
- Аксиомы и правила вывода ГИП (.pdf)
- Аксиомы и правила вывода СИП (.pdf)
- Введение в теорию моделей (.pdf)
- Формальная арифметика Пеано (.pdf)
- Σ-формулы и Σ-определимые функции (.pdf)
- Гёделевская нумерация термов и формул (.pdf)
- Список вопросов к коллоквиуму, осенний семестр (.pdf)
- Шрифт Зюттерлина (готический курсив) (.gif)
