Адрес e-mail:

Математическая логика (осень 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: все варианты

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

МФТИ в социальных сетях