Редактирование: Математическая логика

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

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

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)