Изучение диаграммы Поста и расширенной теоремы Поста (летняя практика)
Материал из Wiki - Факультет компьютерных наук
Автор | Макаров Илья Андреевич Профиль на сайте ВШЭ Электронная почта |
Организация | Департамент анализа данных и искусственного интеллекта |
Учебный год | 2015 |
По теме задания можно сделать курсовую в следующем году обучения |
Содержание
Задание
Изучение диаграммы Поста и расширенной теоремы Поста о замкнутых классах Булевой логики.
Какие начальные требования?
Дискретная математика, логика.
Какие будут использоваться технологии?
Не требуются.
Какая дополнительная литература понадобится?
А.Б. Угольников "Замкнутые классы булевой логики". -25 с.