Изучение диаграммы Поста и расширенной теоремы Поста (летняя практика)

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Автор Макаров Илья Андреевич
Профиль на сайте ВШЭ
Электронная почта
Организация Департамент анализа данных и искусственного интеллекта
Учебный год 2015
По теме задания можно сделать курсовую в следующем году обучения


Задание

Изучение диаграммы Поста и расширенной теоремы Поста о замкнутых классах Булевой логики.

Какие начальные требования?

Дискретная математика, логика.

Какие будут использоваться технологии?

Не требуются.

Какая дополнительная литература понадобится?

А.Б. Угольников "Замкнутые классы булевой логики". -25 с.