Ефимова И. А. О кванторной алгебре предикатных операций / И. А. Ефимова, В. А. Лещинский // Искусств. интеллект. - 2006. - № 4. - С. 603-612. - Библиогр.: 12 назв. - рус.Проведена систематизация алгебр предикатных операций (АПО). Проанализирована булева АПО, АПО с константами и переменными, дизъюнктивно-конъюнктивная АПО, фундаментальная АПО и прикладная АПО. Введено определение кванторной АПО, сформулирована и доказана теорема о равносильности фундаментальной и кванторной АПО, предложен вариант сокращения базиса кванторной АПО. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|