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