Публікація: Кванторная алгебра предикатных операций
Завантаження...
Дата
2008
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
В статье представлена кванторная алгебра предикатных операций. Доказана теорема о равносильности фундаментальной и кванторной алгебр предикатных операций. Сформулирована теорема о полноте кванторной алгебры предикатных операций. Приведены система основных тождеств и аксиоматическое построение кванторной алгебры.
Опис
Ключові слова
кванторная алгебра, алгебра предикатных операций, прикладная алгебра, линейный логический оператор
Бібліографічний опис
Процай, Н. Т. Кванторная алгебра предикатных операций / Н. Т. Процай // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2008. – Вып. 1 (68). – С. 69-73.