|
-
Ключові слова:
алгебра предикатів, алгебра предикатов ; лінійні логічні оператори, линейные логические операторы
-
Анотація:
Представлена кванторная алгебра предикатных операций. Доказана теорема о равносильности фундаментальной и кванторной алгебр предикатных операций. Приведены система основных тождеств и аксиоматическое построение кванторной алгебры
-
Є складовою частиною документа:
-
Теми документа
-
Праці співробітників ХНУРЕ // Процай Наталія Тимофіївна, Процай Наталья Тимофеевна
-
УДК // Числові методи розв'язання звичайних диференціальних рівнянь
| 