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