1. Логика высказываний

2. Логика предикатов

3. Формализованные математические теории

4. Проблемы оснований математики

1. Клини С. Математическая логика. – М.: Мир, 1973.

2. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984.

3. Новиков П.С. Элементы математической логики. – М.: Наука, 1973.

4. Тимофеева И.Л. Математическая логика. Курс лекций. – М.: КДУ, 2007.

5. Тимофеева И.Л. Математическая логика в вопросах и задачах. М.: Прометей, 2002.

Лекция №1

Лекция №2

Лекция №3

Лекция №4

Лекция №5

Лекция №6

Домашние задания по книге Тимофеева И.Л. Математическая логика в вопросах и задачах. М.: Прометей, 2002.

• Домашнее задание 1
  • стр. 14 №1-№11
• Домашнее задание 2
  • стр. 20 №1-№5
• Домашнее задание 3
  • стр. 30 №5, №6
• Домашнее задание 4
  • стр. 32 №7, №8, №11
  • стр. 42 № 12
• Домашнее задание 5
• Домашнее задание 6
• Домашнее задание 7
• Домашнее задание 8
• Домашнее задание 9
• Домашнее задание 10

• Контрольная работа 1 "Логика высказываний"
  
  • доказать утверждение о N_i-выводимости, построением вывода;
  • доказать утверждение о N_k-выводимости, построением вывода;
  • выяснить имеет ли место утверждение о N_k-выводимости;
  • сформулировать определение, теорему.
• Контрольная работа 2 "Логика предикатов"
  • исследовать формулу на общезначимость и выполнимость;
  • записать прочтение формулы в данной интерпретации;
  • записать формулу, выражающую данное высказывание
  •  упростить формулу, используя равносильные преобразования;
  • сформулировать определение, теорему.

Расписание консультаций.

Среда 5 пара

Вопросы к экзамену

Образец билета

Итог семестра