Видеотека: В. И. Пантелеев, Л. В. Рябец, Критерий $ES_U$-полноты множества мультифункций ранга 2

ВИДЕОТЕКА


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

Критерий $ES_U$-полноты множества мультифункций ранга 2 В. И. Пантелеев, Л. В. Рябец Иркутский государственный университет
Аннотация: В работе рассматривается действие оператора разветвления по предикату равенства на множестве мультифункций ранга 2. Определяются 11 предполных множеств мультифункций и формулируется критерий полноты.