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