Изучение полных систем тождеств и теоремы Линдона (летняя практика) — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Katya (обсуждение | вклад) (Новая страница, с помощью формы Новое_задание_на_летнюю_практику) |
(нет различий)
|
Текущая версия на 15:54, 15 мая 2015
| Автор | Макаров Илья Андреевич Профиль на сайте ВШЭ Электронная почта |
| Организация | Департамент анализа данных и искусственного интеллекта |
| Учебный год | 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.
