Математическая логика — различия между версиями

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

Текущая версия на 19:27, 4 сентября 2022