Видеотека: Э. С. Тагласов, В. И. Пантелеев, Критерий $ES_I$-полноты множества мультифункций ранга 2

ВИДЕОТЕКА


Международная школа-семинар "Синтаксис и семантика логических систем" 13 августа 2019 г. 12:30, Турбаза на берегу озера Хубсугул

Критерий $ES_I$-полноты множества мультифункций ранга 2 Э. С. Тагласов, В. И. Пантелеев Иркутский государственный университет
Аннотация: В работе рассматривается $ES_I$-замыкание мультифункций, заданных на двухэлементном множестве. Приводятся примеры полных множеств, формулируется и доказывается критерий функциональной полноты.