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

Материал из Wiki - Факультет компьютерных наук
Версия от 15:52, 15 мая 2015; Katya (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Автор Макаров Илья Андреевич
Профиль на сайте ВШЭ
Электронная почта
Организация Департамент анализа данных и искусственного интеллекта
Учебный год 2015
По теме задания можно сделать курсовую в следующем году обучения


Задание

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

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

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

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

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

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

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