Публікація: Отображения как объекты формульного описания
Завантаження...
Дата
1998
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Рассмотрены связи и переходы между бинарными отношениями, предикатами и отображениями, соответствующими друг другу. Предложен способ формульного представления отображений, основанный на использовании языка алгебры предикатов. Найден общий вид однозначных отображений. Результаты обобщены на случай произвольной арности.
Опис
Ключові слова
Бібліографічний опис
Дударь З. В. Отображения как объекты формульного описания / З. В. Дударь, И. Г. Самуйлик, Ю. П. Шабанов-Кушнаренко // Радиоэлектроника и информатика, 1998.-вып. 1 -с. 56-60.