рекурсивный
61Программируемые алгоритмы — Служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не устанавл …
62IGES — Digital Representation for Communication of Product Definition Data (IGES) (произносится: ай джес)  Цифровое Представление для Коммуникации Данных Определения Продукта  двумерный/трехмерный векторный формат графики; используется многими …
63djbdns — Тип DNS сервер Разработчик Дэниел Джулиус Бернштейн Написана на Си Операционная система UNIX Последняя версия 1.05 (11 февраля 2001) Лицензия …
64РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …
65СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание …
66АЛГОЛ — Ч общее название ряда алгоритмических языков, предназначенных для автоматизации программирования и для публикации алгоритмов (сокращение от слов ALGOrithmic и Language). Первый вариант А. был разработан группой ученых разных стран в 1958. На… …
67КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… …
68ОБЩЕРЕКУРСИВНЫЙ ОПЕРАТОР — частично рекурсивный оператор, к рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные. В. Е. Плиско …
69РАЗРЕШИМЫЙ ПРЕДИКАТ — такой n местный предикат Р, заданный на нек ром множестве конструктивных объектов (напр., натуральных чисел) М, для к рого существует алгоритм, позволяющий для любого набора а 1; . . ., а п элементов множества Мнайти значение (И или Л) предиката… …
70Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …
