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