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