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

{{Карточка_задания_на_летнюю_практику
|name=Изучение полных систем тождеств и теоремы Линдона
|mentor=Макаров Илья Андреевич
|mentor_login={{URLENCODE:Katya|WIKI}}
|organization=Департамент анализа данных и искусственного интеллекта
|hse_profile=http://www.hse.ru/staff/iamakarov
|email=iamakarov@hse.ru
|thesis=on
|year=2015
|categorize=yes
}}

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

=== Какие начальные требования? ===
Дискретная математика, логика.

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

=== Какая дополнительная литература понадобится? ===
*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.