Вид документа:

Стаття періодики

УДК:

519.62

Процай Н. Т. Кванторная алгебра предикатных операций / Н. Т. Процай // Бионика интеллекта. – 2008. – №1 (68). – С. 69–73.



Складова документа:
Бионика интеллекта : научно-технический журнал. №1 (68) / Мин-во образования и науки Украины ХНУРЭ // Бионика интеллекта. – Харьков : ХНУРЕ, 2008


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