Кванторная алгебра предикатных операций
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Процай, Н. Т.
|
|
| Date |
2015-11-10T09:36:09Z
2015-11-10T09:36:09Z 2008 |
|
| Identifier |
Процай, Н. Т. Кванторная алгебра предикатных операций / Н. Т. Процай // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2008. – Вып. 1 (68). – С. 69-73.
http://hdl.handle.net/123456789/2496 |
|
| Description |
В статье представлена кванторная алгебра предикатных операций. Доказана теорема о равносильности фундаментальной и кванторной алгебр предикатных операций. Сформулирована теорема о полноте кванторной алгебры предикатных операций. Приведены система основных тождеств и аксиоматическое построение кванторной алгебры. |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|
| Subject |
кванторная алгебра
алгебра предикатных операций прикладная алгебра линейный логический оператор |
|
| Title |
Кванторная алгебра предикатных операций
|
|
| Type |
Article
|
|