Публікація: О матрицах линейных логических операторов
Завантаження...
Дата
Назва журналу
ISSN журналу
Назва тому
Видавець
ХНУРЭ
Анотація
Продолжим тему линейных логических операторов. Опишем процедуру построения матрицы линейного логического оператора. Этот алгоритм проиллюстрирован на примере предикатного и булева логических пространств. Для булевых пространств доказана теорема об общем виде линейного логического оператора.
Опис
Ключові слова
линейный логический оператор, матрица линейного логического оператора, предикатное логическое пространство
Цитування
О матрицах линейных логических операторов / Н. А. Гвоздинская, З. В. ДударЬ, С. А. Пославский, Ю. П. Шабанов-Кушнаренко // Проблемы бионики : всеукр. межвед. науч.-техн. сб. – Х. : ХНУРЭ, 1999. – Вып. 50. – С. 25–29.