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