|
-
Ключові слова:
логіка предикатів, логика предикатов, predicate logic ; обчислювальні алгоритми, вычислительные алгоритмы
-
Анотація:
Розглянуто процедуру логічного виводу у С-класичному обчисленні предикатів першого порядку, яка відноситься до класу методів паралельної обробки й є одним із можливих шляхів вирішення проблеми "комбінаторного вибуху" завдяки сполученню процесу редукції та одиничної резолюції.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
