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