Вопросы к экзамену по математической логике за 3 семестр

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

1. Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость.
2. Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказываний.
3. Вывод из допущений. Теорема о дедукции.
4. Теорема о полноте исчисления высказываний.
5. Исчисление предикатов. Общезначимость и выводимость.
6. Теорема о дедукции в исчислении предикатов. Корректность и полнота исчисления предикатов.
7. Натуральный вывод. Секвенциальное исчисление предикатов. Устранение сечений.
8. Интуиционизм. Интуиционистское исчисление высказываний. Модели Крипке.
9. Теории первого порядка, примеры. Структуры и модели.
10. Аксиоматика Пеано. Формальная арифметика.
11. Рекурсивные функции и отношения. Реализация операций сложения, умножения, ограниченного вычитания.
12. Выразимость отношений и преставимость функций в формальной арифметике. Представимость примитивов Z, N, U и S.
13. Бета-функция Геделя. Представимость рекурсивных функций в формальной арифметике.
14. Геделева нумерация. Выводимость и рекурсивные функции.
15. Непротиворечивость и омега-непротиворечивость. Первая теорема Геделя о неполноте арифметики.
16. Первая теорема Геделя в форме Россера. Вторая теорема Геделя о неполноте арифметики.
17. Теория множеств. Парадоксы. Аксиоматика Цермело-Френкеля (равенство множеств, конструктивные аксиомы)
18. Аксиоматика Цермело-Френкеля (аксиомы бесконечности, выбора, подстановки, фундирования).
19. Ординальные и кардинальные числа, мощность множества.