Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Частично-рекурсивная функция

Предмет Высшая математика
👍 Проверено Автор24

функция, определенная на некотором множестве натуральных чисел, которая может быть получена из первичных функций в результате конечной совокупности операций подстановки и примитивной рекурсии, а также применения мю-оператора

Научные статьи на тему «Частично-рекурсивная функция»

Информационные процессы обработки данных

тогда и только тогда алгоритмически исчисляется, когда она частично рекурсивна", т.е. может быть разложена...
Создавая всё более сложные функции на основе комбинирования простых, машина Тьюринга может выполнять...
Вход функции представляет собой множество т.н. аргументов....
Выход функции представляет собой, как правило, оператор return, возвращающий результирующее значение,...
Реализация алгоритма сортировки в виде функции на языке JavaScript.

Статья от экспертов

Колмогоровская сложность и Vc размерность семейств рекурсивных функций

Изучается связь между комбинаторной размерностью (V CD) Вапника-Червоненкиса и колмогоровской сложностью семейств частично рекурсивных функций. Для произвольного семейства частично рекурсивных функций F дано определение колмогоровской сложности KC(F). Доказано неравенство V CD(F) ≤ KC(F), на основе которого обоснован pV CD метод получения оценок размерности Вапника-Червоненкиса для произвольных семейств частично рекурсивных функций. Приведены примеры оценивания при помощи pV CD метода.

Научный журнал

История информационных технологий

тезисом Чёрча – Тьюринга, который определялся следующим образом: Любой алгоритм возможно задать как частично...
рекурсивное определение....
Класс вычисляемых функций соответствует классу частично рекурсивных функций.

Статья от экспертов

Примитивная программная алгебра вычислимых функций на множестве графов

Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных, реляционных и табличных функций.

Научный журнал

Еще термины по предмету «Высшая математика»

Индуктивное определение

способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!

🌟 Рекомендуем тебе

Мантисса

дробная часть десятичного логарифма положительного числа

🌟 Рекомендуем тебе

Нульмерное множество

множество, в котором не существует связного подмножества, содержащего более одной точки

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot