-
1 primitively recursive function
English-Russian scientific dictionary > primitively recursive function
-
2 primitive recursive function
English-Russian information technology > primitive recursive function
-
3 primitive recursive function
1) Компьютерная техника: примитивная рекурсивная функция2) Вычислительная техника: примитивно-рекурсивная функцияУниверсальный англо-русский словарь > primitive recursive function
-
4 singly recursive function
однократно рекурсивная [примитивно-рекурсивная] функцияEnglish-Russian scientific dictionary > singly recursive function
-
5 primitively recursive function
Математика: примитивно рекурсивная функцияУниверсальный англо-русский словарь > primitively recursive function
-
6 singly recursive function
Универсальный англо-русский словарь > singly recursive function
-
7 primitive
1. n первобытный человек2. n примитивная личность3. n древний христианин4. n основной цвет5. n иск. примитивprimitive component — примитив; базисный элемент
primitive block — элементарный компонент; примитив
6. n иск. примитивист7. n иск. художник-самоучка8. n иск. мат. первообразная функция9. n иск. лингв. редк. коренное слово10. n иск. вчт. базисный, простейший элемент графического изображения11. a первобытный12. a примитивный, простой, несложный13. a иск. примитивистский, примитивный14. a не обученный15. a первичный; основной16. a мат. исходныйprimitive symbol — исходный символ; символ-примитив
17. a мат. первообразный18. a лингв. редк. коренной, непроизводный19. a старомодный20. a геол. первозданныйprimitive soil — целинная земля; девственная почва
21. a биол. примордиальный, зародышевый, зачаточныйСинонимический ряд:1. aboriginal (adj.) aboriginal; native; primeval2. ancient (adj.) ancient; antediluvian; beginning; early; elementary; first; introductory; original; prehistoric; primal; primary; prime; primevous; primitial; primordial; underivative; underived3. archaic (adj.) archaic; persistent; undeveloped; unevolved4. ascetic (adj.) ascetic; austere; bare5. backward (adj.) backward; benighted; ignorant; unenlightened6. crude (adj.) crude; uncultivated; unsophisticated7. essential (adj.) basic; elemental; essential; substratal; ultimate; underlying8. nonliterate (adj.) nonliterate; preliterate9. raw (adj.) raw; rough; rude; unpolished10. simple (adj.) fundamental; rudimentary; simple; Spartan11. uncivilized (adj.) quaint; uncivilised; uncivilized; uncouth; uncultured; untamed12. wild (adj.) barbarian; barbaric; barbarous; savage; uncivil; wild13. antediluvian (noun) antediluvian; barbarian; neanderthal; savageАнтонимический ряд:advanced; cultured; modern; modish; refined; secondary; sophisticated -
8 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
См. также в других словарях:
Примитивно рекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… … Википедия
ПРИМИТИВНО РЕКУРСИВНАЯ ФУНКЦИЯ — функция от натуральных аргументов с натуральными значениями, к рую можно получить из простейших функций конечным числом операций суперпозиции и примитивной рекурсии. Поскольку исходные функции являются вычислимыми, а операторы суперпозиции и… … Математическая энциклопедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
Рекурсивная функция (значения) — Рекурсивная функция: Рекурсивная функция числовая функция числового аргумента, которая в своём определении содержит себя же. Рекурсивная функция функция, принадлежащая одному из следующих классов: примитивно рекурсивные функции,… … Википедия
Частично рекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… … Википедия
Общерекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… … Википедия
ОБЩЕРЕКУРСИВНАЯ ФУНКЦИЯ — частично рекурсивная функция, определенная для всех значений аргументов. Понятие О. ф. может быть определено и независимо от понятия частично рекурсивной функции следующим образом. Класс всех О. ф. это наименьший класс функций, содержащий все… … Математическая энциклопедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… … Математическая энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
