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