Публікація:
Отображения как объекты формульного описания

Завантаження...
Зображення мініатюри

Дата

1998

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Рассмотрены связи и переходы между бинарными отношениями, предикатами и отображениями, соответствующими друг другу. Предложен способ формульного представления отображений, основанный на использовании языка алгебры предикатов. Найден общий вид однозначных отображений. Результаты обобщены на случай произвольной арности.

Опис

Ключові слова

Бібліографічний опис

Дударь З. В. Отображения как объекты формульного описания / З. В. Дударь, И. Г. Самуйлик, Ю. П. Шабанов-Кушнаренко // Радиоэлектроника и информатика, 1998.-вып. 1 -с. 56-60.

DOI