О матрицах линейных логических операторов
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
О матрицах линейных логических операторов
|
|
Creator |
Гвоздинская, Н. А.
Дударь, З. В. Пославский, С. А. Шабанов-Кушнаренко, Ю. П. |
|
Subject |
линейный логический оператор
матрица линейного логического оператора предикатное логическое пространство |
|
Description |
Продолжим тему линейных логических операторов. Опишем процедуру построения матрицы линейного логического оператора. Этот алгоритм проиллюстрирован на примере предикатного и булева логических пространств. Для булевых пространств доказана теорема об общем виде линейного логического оператора.
|
|
Date |
2018-11-29T14:12:14Z
2018-11-29T14:12:14Z 1999 |
|
Type |
Article
|
|
Identifier |
О матрицах линейных логических операторов / Н. А. Гвоздинская, З. В. ДударЬ, С. А. Пославский, Ю. П. Шабанов-Кушнаренко // Проблемы бионики : всеукр. межвед. науч.-техн. сб. – Х. : ХНУРЭ, 1999. – Вып. 50. – С. 25–29.
http://openarchive.nure.ua/handle/document/7441 |
|
Language |
ru
|
|
Publisher |
ХНУРЭ
|
|