Математическая логика

Материал из Викиконспекты
Перейти к: навигация, поиск

Курс

Странная нумерация...


TODO: отследить соответствие частей лекций и вопросов к экзамену

Лекция 2 (Вопросы 1 2)

Лекция 3 (Вопросы 3 4)

Лекция 4 (Вопросы 5 6)

Лекция 5

Лекция 6

Лекция 7

Геделева нумерация. Арифметизация доказательств (Вопросы 14)

1я и 2я теоремы Геделя о неполноте арифметики (Вопросы 15 16)

Теория множеств (Вопросы 17 18 19)

Решение задач по логике

Экзамен