|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Решетка замкнутых классов трехзначной логики, содержащих функцию максимума для нелинейного частичного порядкадоклад на конференции
- Автор: Боков Г.В.
- Международная Конференция : Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова
- Даты проведения конференции: 20-25 июня 2016
- Дата доклада: 21 июня 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ, Russia
-
Аннотация доклада:
Рассматривается соответствие Галуа между замкнутыми классами функций и замкнутыми классами предикатов. Предложен метод описания структур надрешеток замкнутых классов функций на основе этого соответствия. Метод используется для описания решетки замкнутых классов функций трехзначной логики, содержащих функцию максимума для частичного порядка {(0,2), (1,2)}.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Боков Григорий Владимирович