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

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

Версия 02:31, 8 июня 2017