Математическая логика и теория алгоритмов (осень 2017)

Лектор — доц. Д.В. Мусатов

Новости курса в Телеграме (канал)
Обсуждение курса в Телеграме (чат)

Видеолекции (осень 2014)

Конспекты лекций (выкладываются по мере написания)

  1. Формальные языки
  2. Пропозициональные формулы и булевы функции
  3. Исчисление высказываний
  4. Метод резолюций
  5. Языки первого порядка
  6. Выразимость предикатов

Задачи с семинаров и для самостоятельного решения, избранные решения

  1. Формальные языки: условия, условия и решения
  2. Пропозициональные формулы: условия, условия и решения
  3. Булевы функции: условия
  4. Исчисление высказываний: условия
  5. Теорема о компактности: условия
  6. Метод резолюций: условия
  7. Формулы первого порядка: условия
  8. Выразимость предикатов: условия
  9. Элиминация кванторов и игры Эренфойхта: условия
  10. Исчисление предикатов: условия

Контрольные работы

Таблица с результатами контрольных работ

  1. К/р 26.09: тренировочный вариант, основной вариант
  2. К/р 10.10: тренировочный вариант, основной вариант, дополнительные задачи
  3. К/р 24.10: тренировочный вариант, основной вариант, дополнительные задачи
  4. К/р 07.11: тренировочный вариант, основной вариант, дополнительные задачи
  5. К/р 21.11: тренировочный вариант, основной вариант, дополнительные задачи
  6. К/р 05.12: тренировочный вариант, основной вариант, дополнительные задачи
  7. К/р 19.12: тренировочный вариант
  8. Зачётные задачи 15-21.12: все варианты