-
1 примитивно-рекурсивный
Русско-английский технический словарь > примитивно-рекурсивный
-
2 примитивно-рекурсивный
-
3 примитивно-рекурсивный
-
4 примитивно-рекурсивный
Русско-английский военно-политический словарь > примитивно-рекурсивный
-
5 примитивно-рекурсивный
Русско-английский математический словарь > примитивно-рекурсивный
-
6 примитивно рекурсивная схема
примитивно рекурсивная схема
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > примитивно рекурсивная схема
-
7 прымітыўна рэкурсіўная функцыя
primitive recursive functionБеларуска-ангельскі слоўнік матэматычных тэрмінаў і тэрміналагічных словазлучэнняў > прымітыўна рэкурсіўная функцыя
-
8 примитивно-рекурсивная схема
Русско-английский словарь по вычислительной технике и программированию > примитивно-рекурсивная схема
-
9 función recursiva primitiva
• primitive recursive functionDiccionario Técnico Español-Inglés > función recursiva primitiva
-
10 primitivna rekurzivna funkcija
• primitive recursive function -
11 примитивно-рекурсивная арифметика
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивная арифметика
-
12 примитивно-рекурсивная схема
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивная схема
-
13 примитивно-рекурсивная трансцендентность
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивная трансцендентность
-
14 примитивно-рекурсивное равенство
primitive recursive equality матем.Русско-английский научно-технический словарь Масловского > примитивно-рекурсивное равенство
-
15 примитивно-рекурсивное число
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивное число
-
16 примитивно-рекурсивный
primitive recursive мат.Русско-английский научно-технический словарь Масловского > примитивно-рекурсивный
-
17 примитивно-рекурсивный вывод
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивный вывод
-
18 примитивно-рекурсивный предикат
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивный предикат
-
19 примитивно-рекурсивный член
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивный член
-
20 рекурсивный
1. recursively2. recursiveРусско-английский словарь по информационным технологиям > рекурсивный
См. также в других словарях:
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
primitive recursive — adjective Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion … Wiktionary
Recursive — may refer to:*Recursion *Recursively enumerable language *Recursively enumerable set *Recursive filter *Recursive function *Recursive language *Recursive acronym *Recursive set *Primitive recursive function … Wikipedia
recursive — A procedure that is applied once, and then applied to the result of that application, and so on. A recursive definition (definition by induction) defines the result of some operation for 0, and then the result for any number n + 1 in terms of the … Philosophy dictionary
Recursive set — In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set. A more… … Wikipedia
Recursive categorical syntax — Recursive categorical syntax, also sometimes called algebraic syntax, is an algebraic theory of syntax developed by Michael Brame as an alternative to transformational generative grammar. It is a type of dependency grammar, and is related to link … Wikipedia
Recursive function — may refer to: Recursion (computer science), a procedure or subroutine, implemented in a programming language, whose implementation references itself A total computable function, a function which is defined for all possible inputs See also μ… … Wikipedia
Récursive — Récursif Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia