Рекурсивные функции
21Определение — I Определение дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия (См. Понятие); этот термин (понятие) называется определяемым (лат. definiendum …
22Рекурсивная функция — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Рекурсивная функция (от лат. recursio возвращение) это числовая функция числового аргумента, которая в своей записи содержит себя же. Такая запись позволяет… …
23РЕАЛИЗУЕМОСТЬ — (р е к у р с и в н а я р е а л и з у е м о с т ь) – понятие, лежащее в основе предложенного С. К. Клини (1945) метода конструктивного (интуиционистского) понимания матем. (и логич.) предложений, к рый позволяет в точных терминах говорить об их… …
24Рекурсивная функция (значения) — Рекурсивная функция: Рекурсивная функция  числовая функция числового аргумента, которая в своём определении содержит себя же. Рекурсивная функция функция, принадлежащая одному из следующих классов: примитивно рекурсивные функции,… …
25ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …
26КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… …
27АЛГОРИТМОВ ЭКВИВАЛЕНТНОСТЬ — бинарное отношение, связывающее алгоритмы фиксированного типа и выражающее тот факт, что у всяких двух связанных этим отношением алгоритмов при совпадении определенного вида исходных данных совпадают и результаты работы (а также, быть может, и… …
28Мальцев, Анатолий Иванович — Анатолий Иванович Мальцев Дата рождения: 14 (27) ноября …
29A New Kind of Science — Автор: Стивен Вольфрам Язык оригинала: English Издательство …
30РЕКУРСИВНАЯ ФУНКЦИЯ — ч а с т и ч н о р е к у р с и в н а я ф у н к ц и я, одно из математич. уточнений интуитивного понятия вычислимой функции, определяемое следующим образом. Рассматриваются функции, заданные на натуральных числах и с натуральными значениями.… …
