Изменения

Математическая логика

2630 байт добавлено, 18:32, 12 января 2012

Нет описания правки

Запиливается потихоньку...

=Курс=

[[Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость]]

[[Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказываний]]

[[Вывод из допущений. Теорема о дедукции]]

[[Теорема о полноте исчисления высказываний]]

[[Исчисление предикатов. Общезначимость и выводимость]]

[[Теорема о дедукции в исчислении предикатов. Корректность и полнота исчисления предикатов]]

[[Натуральный вывод. Секвенциальное исчисление предикатов. Устранение сечений]]

[[Интуиционизм. Интуиционистское исчисление высказываний. Модели Крипке]]

[[Теории 1го порядка, примеры. Структуры и модели]]

[[Аксиоматика Пеано. Формальная арифметика]]

[[Рекурсивные функции и отношения. Реализация операций сложения, умножения, ограниченного вычитания]]

[[Выразимость отношений и преставимость функций в формальной арифметике. Представимость примитивов Z, N, U и S]]

[[Бета-функция Геделя. Представимость рекурсивных функций в формальной арифметике]]

[[Геделева нумерация. Выводимость и рекурсивные функции]]

[[Непротиворечивость и омега-непротиворечивость. 1я теорема Геделя о неполноте арифметики]]

[[1я теорема Геделя в форме Россера. 2я теорема Геделя о неполноте арифметики]]

[[Теория множеств. Парадоксы. Аксиоматика Цермело-Френкеля (равенство множеств, конструктивные аксиомы)]]

[[Аксиоматика Цермело-Френкеля (аксиомы бесконечности, выбора, подстановки, фундирования)]]

[[Ординальные и кардинальные числа, мощность множества]]

=Экзамен=

[[Вопросы к экзамену]]

97

правок