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