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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Автор Макаров Илья Андреевич
Профиль на сайте ВШЭ
Электронная почта
Организация Департамент анализа данных и искусственного интеллекта
Учебный год 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.