|
-
Ключові слова:
інформатика, информатика, informatica, informatyka, information science ; комп"ютерні науки, компьютерные науки
-
Анотація:
Вивчаються чисті першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для опису семантичних властивостей цих логік використано спеціальні предикати-індикатори наявності значення для змінних. Досліджено різні формалізації відношення логічного наслідку
Pure first-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are studied. Special variable definedness predicates are used for description of semantic properties of such logics. Various formalizations of logical consequence relation are investigated
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 