97
правок
Изменения
→Курс
=Курс=
[[Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказыванийЛекция 2]]
[[Вывод из допущений. Теорема о дедукцииЛекция 3]]
[[Теорема о полноте исчисления высказыванийЛекция 4]]
[[Исчисление предикатов. Общезначимость и выводимостьЛекция 6]]
[[Теорема о дедукции в исчислении предикатов. Корректность и полнота исчисления предикатовЛекция 7]]
[[Натуральный вывод. Секвенциальное исчисление предикатов. Устранение сеченийЛекция 9]]
[[Интуиционизм. Интуиционистское исчисление высказываний. Модели КрипкеЛекция 10]]
[[Теории 1го порядка, примеры. Структуры и модели]] [[Аксиоматика Пеано. Формальная арифметика]] [[Рекурсивные функции и отношения. Реализация операций сложения, умножения, ограниченного вычитания]] [[Выразимость отношений и преставимость функций в формальной арифметике. Представимость примитивов Z, N, U и S]] [[Бета-функция Геделя. Представимость рекурсивных функций в формальной арифметике]] [[Геделева нумерация. Выводимость и рекурсивные функции]] [[Непротиворечивость и омега-непротиворечивость. 1я теорема Геделя о неполноте арифметики]] [[1я теорема Геделя в форме Россера. 2я теорема Геделя о неполноте арифметики]] [[Теория множеств. Парадоксы. Аксиоматика Цермело-Френкеля (равенство множеств, конструктивные аксиомы)]] [[Аксиоматика Цермело-Френкеля (аксиомы бесконечности, выбора, подстановки, фундирования)]] [[Ординальные и кардинальные числа, мощность множестваЛекция 11]]
[[Лекция 12]]
=Экзамен=
[[Вопросы к экзамену]]
