Публікація:
Кванторная алгебра предикатных операций

Завантаження...
Зображення мініатюри

Дата

2008

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

В статье представлена кванторная алгебра предикатных операций. Доказана теорема о равносильности фундаментальной и кванторной алгебр предикатных операций. Сформулирована теорема о полноте кванторной алгебры предикатных операций. Приведены система основных тождеств и аксиоматическое построение кванторной алгебры.

Опис

Ключові слова

кванторная алгебра, алгебра предикатных операций, прикладная алгебра, линейный логический оператор

Бібліографічний опис

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

DOI