RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Иркутского государственного университета. Серия «Математика» // Архив

Известия Иркутского государственного университета. Серия Математика, 2021, том 38, страницы 96–111 (Mi iigum471)

Алгебро-логические методы в информатике и искусственный интеллект

О решетке $ES_I$-замкнутых классов мультифункций ранга $2$

В. И. Пантелеев, Э. С. Тагласов

Иркутский государственный университет, Иркутск, Российская Федерация

Аннотация: Рассмотрены мультифункции на двухэлементном множестве вместе с операторами суперпозиции и разветвления по предикату равенства. Оператор суперпозиции основан на пересечении множеств. Основная цель работы — описание всех замкнутых относительно рассматриваемых операторов классов. Оператор разветвления по предикату равенства позволяет поставленную задачу свести к описанию всех замкнутых классов, порожденных мультифункциями от двух переменных. Показано, что решетка замкнутых относительно рассматриваемых операторов классов содержит 237 элементов, что расширяет известный результат о всех замкнутых классах частичных функций на двухэлементном множестве. Для каждого замкнутого класса указано порождающее множество.

Ключевые слова: мультифункция, суперпозиция, предикат равенства, замыкание, предполное множество, решетка замкнутых классов.

УДК: 519.716

MSC: 03B50, 08A99

Поступила в редакцию: 25.10.2021

DOI: 10.26516/1997-7670.2021.38.96



Реферативные базы данных:


© МИАН, 2024