Изменения

=Курс== Конспекты лекций Штукенберга по мат. логике ===

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

===Экзамен===[[Решение задач по логике]] [[Вопросы к экзаменупо математической логике за 3 семестр]] [[Теоретический минимум по математической логике за 3 семестр]] [[Категория: В разработке]] [[Категория: Математическая логика]]