функция, определенная на некотором множестве натуральных чисел, которая может быть получена из первичных функций в результате конечной совокупности операций подстановки и примитивной рекурсии, а также применения мю-оператора
Научные статьи на тему «Частично-рекурсивная функция»
тогда и только тогда алгоритмически исчисляется, когда она частичнорекурсивна", т.е. может быть разложена... Создавая всё более сложные функции на основе комбинирования простых, машина Тьюринга может выполнять... Вход функции представляет собой множество т.н. аргументов.... Выход функции представляет собой, как правило, оператор return, возвращающий результирующее значение,... Реализация алгоритма сортировки в виде функции на языке JavaScript.
Изучается связь между комбинаторной размерностью (V CD) Вапника-Червоненкиса и колмогоровской сложностью семейств частично рекурсивных функций. Для произвольного семейства частично рекурсивных функций F дано определение колмогоровской сложности KC(F). Доказано неравенство V CD(F) ≤ KC(F), на основе которого обоснован pV CD метод получения оценок размерности Вапника-Червоненкиса для произвольных семейств частично рекурсивных функций. Приведены примеры оценивания при помощи pV CD метода.
тезисом Чёрча – Тьюринга, который определялся следующим образом:
Любой алгоритм возможно задать как частично... рекурсивное определение.... Класс вычисляемых функций соответствует классу частичнорекурсивныхфункций.
Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных, реляционных и табличных функций.
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)