Изучение полных систем тождеств и теоремы Линдона (летняя практика)

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

Задание

Изучение полных систем тождеств и теоремы Линдона. Построение контр-примеров для замкнутых классов многозначных логик, не обладающих конечными полными системами тождеств.

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

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

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

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

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

• Lyndon, R. C. Identities in two-valued calculi. Trans. Amer. Math. Soc. 71, (1951). 457–465.
• Lyndon, R. C. Identities in finite algebras. Proc. Amer. Math. Soc. 5, (1954). 8–9.