Название спецкурса на русском языке
Функциональные системы многозначной логики
Перевод названия курса на английский язык
Functional systems of multi-valued logic
Авторы курса
Дудакова Ольга Сергеевна
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
Аспиранты
Подразделение
[Кафедра дискретной математики]
Семестр
Полугодовой, весна
Тип курса
Спецкурс по выбору кафедры
Аннотация
Примерное содержание курса:
1. Критерии полноты в P_k: теорема Слупецкого, теорема Яблонского, теорема Саломаа.
2. Замкнутые классы, не имеющие конечных порождающих систем. Мощность множества всех замкнутых классов в P_k.
3. Теорема Кузнецова о функциональной полноте и ее обобщение: теорема о мощности семейства всех замкнутых классов, предполных в некотором классе. Контрпримеры для других операций замыкания.
4. Теорема Бурле об описании всех замкнутых классов, содержащих множество Pk(1) всех одноместных функций.
5. Шесть семейств предполных классов в P_k.
6. Предполные классы в трехзначной логике
7. Минимальные классы и минимальные клоны в P_k
8. Классы частичных функций k-значной логики
Как проходит
Время и способ проведения в осеннем семестре 2021 года будут определены по согласованию со слушателями. Связь с лектором: olga.dudakova@gmail.com
Учебный год
2021/22