Математическая логика и теория алгоритмов (осень 2018)
Лектор - доц. Д.В. Мусатов
Конспекты лекций (выкладываются по мере написания)
- Формальные языки
- Пропозициональные формулы и булевы функции
- Исчисление высказываний
- Метод резолюций
Задачи с семинаров и для самостоятельного решения, избранные решения
- Формальные языки: условия, условия и решения
- Пропозициональные формулы: условия, условия и решения
- Булевы функции: условия, условия и решения
- Исчисление высказываний: условия, условия и решения
- Теорема о компактности: условия, условия и решения
- Метод резолюций: условия, условия и решения
Контрольные работы
Таблица с результатами контрольных работ
- К/р 26.09: тренировочный вариант, основной вариант
- К/р 10.10: тренировочный вариант, основной вариант, дополнительные задачи
- К/р 24.10: тренировочный вариант