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