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

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

Текущая версия на 19:27, 4 сентября 2022