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

Видеотека

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Видеотека
	Архив
	Популярное видео

	Поиск
	RSS
	Новые поступления

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

Критерий $ES_U$-полноты множества мультифункций ранга 2

В. И. Пантелеев, Л. В. Рябец

Иркутский государственный университет

*Дополнительные материалы:*
	Adobe PDF	928.9 Kb

Количество просмотров:
Эта страница:	79
Материалы:	2

Аннотация: В работе рассматривается действие оператора разветвления по предикату равенства на множестве мультифункций ранга 2. Определяются 11 предполных множеств мультифункций и формулируется критерий полноты.

Дополнительные материалы:

Пантелеев_Рябец.pdf (928.9 Kb)

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы