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