|
-
Ключові слова:
інтерпретація, интерпретация, interpretation ; числення, исчисление, calculus
-
Анотація:
У роботі розглядаються інтерпретації дельта числення в моделях, елементами яких є множини. Вказано подання рекурсивних функцій через рекурсивно перелічні множини в термінах графікової аплікації.
They are considered delta-calculus interpretations in themodels with set elements. Recursive Junction representations via recursively enumerable set in graphic application terms are described.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 