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