Неявные формы выразимости в многозначных логиках

Название спецкурса на английском языке
Implicit types of expressibility in many-valued logics
Авторы курса
Старостин Михаил Васильевич
Пререквизиты
Курс ТДФ, а именно, знакомство со следующими понятиями: булева функция, суперпозиция, замкнутый класс, функция многозначной логики
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра дискретной математики]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2025/26
Список тем
Неявная выразимость. Параметрическая выразимость. Неэквивалентность неявной и
параметрической выразимости в P_k при k ⩾ 3.
Рефлексивность и монотонность оператора неявной выразимости. Цепочка вложений операторов выразимости.
Классы сохранения матриц и предикатов.
Централизаторы и бицентрализаторы. Централизатор как класс сохранения предиката.
Описание 25 параметрически замкнутых классов в P_2.
Эквивалентность неявной и параметрической выразимости в P_2.
Минимальные неявно полные классы без констант в P_3.
Критерий неявной полноты в P_k.
Список источников
Кузнецов А. В. О средствах для обнаружения невыводимости или невыразимости //Логический вывод. — М.:Наука, 1979. — С. 5–33
Касим-Заде О. М. О неявной выразимости булевых функций // Вестник МГУ. Серия 1. Математика. Механика. — 1995. — №2. — С. 44–49.
Марченков С. С. Основы теории булевых функций. М.: ФИЗМАТЛИТ, 2014, 136 с.
Орехова Е. А. Об одном критерии неявной полноты в трёхзначной логике // Математические вопросы кибернетики. — 2003. — Вып. 12 — С. 27-74.
Касим-Заде О. М. О неявной полноте в k-значной логике // Вестник МГУ. Серия 1. Математика. Механика. — 2007. — №3. — С. 9–13.
День недели
вторник
Время
16:45-18:20
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.