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