Адрес e-mail:

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

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


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

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


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

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


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

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

  1. К/р 26.09: тренировочный вариантосновной вариант
  2. К/р 10.10: тренировочный вариантосновной вариантдополнительные задачи
  3. К/р 24.10: тренировочный вариант
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

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

soc-vk soc-ig soc-fb soc-tw soc-li soc-li soc-yt
Яндекс.Метрика