|
ВИДЕОТЕКА |
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
Критерий В. И. Пантелеев, Л. В. Рябец Иркутский государственный университет |
|||
Аннотация: В работе рассматривается действие оператора разветвления по предикату равенства на множестве мультифункций ранга 2. Определяются 11 предполных множеств мультифункций и формулируется критерий полноты. |