Название спецкурса на русском языке
Теория функций k-значной логики
Перевод названия курса на английский язык
Theory of k-valued logic functions
Авторы курса
с.н.с. Д.Н. Жук
Целевая аудитория
5 курс
Подразделение
[Кафедра МаТИС]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
Курс посвящен как классическим, так и современным результатам по теории функций k-значной логики. Будут изложены такие результаты как теорема Поста о замкнутых классах булевых функций, теорема Яблонского о предполных классах трёхзначной логики, классификация минимальных клонов Иво Розенберга.
Дополнительная информация

среда, 16:45, дистанционно, Zoom 569 270 3504, п 940933