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