Математическая логика — различия между версиями

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

Текущая версия на 02:31, 8 июня 2017