-
1 частично-рекурсивная схема
Большой англо-русский и русско-английский словарь > частично-рекурсивная схема
-
2 частично рекурсивная схема
Mathematics: partial recursive schemeУниверсальный русско-английский словарь > частично рекурсивная схема
-
3 частично-рекурсивная схема
Logics: partial recursive schemeУниверсальный русско-английский словарь > частично-рекурсивная схема
-
4 частично-рекурсивная схема
Русско-английский словарь по вычислительной технике и программированию > частично-рекурсивная схема
-
5 частично рекурсивная схема
Русско-английский научно-технический словарь Масловского > частично рекурсивная схема
-
6 partial recursive scheme
English-Russian scientific dictionary > partial recursive scheme
-
7 partical recursive scheme
labeling scheme — схема маркировки; схема расстановки меток
-
8 partial recursive scheme
The English-Russian dictionary general scientific > partial recursive scheme
-
9 wiring scheme
1. монтажная схемаlabeling scheme — схема маркировки; схема расстановки меток
2. электрическая схема3. схема электрических соединений -
10 рекурсивный
1. recursively2. recursiveРусско-английский словарь по информационным технологиям > рекурсивный
-
11 частичноный рекурсивный
Русско-английский новый политехнический словарь > частичноный рекурсивный
-
12 recursive
-
13 recursive
The English-Russian dictionary general scientific > recursive
-
14 partial recursive scheme
1) Математика: частично рекурсивная схема2) Логика: частично-рекурсивная схемаУниверсальный англо-русский словарь > partial recursive scheme
-
15 partical recursive scheme
Большой англо-русский и русско-английский словарь > partical recursive scheme
-
16 partical recursive scheme
лог. частично-рекурсивная схемаEnglish-Russian dictionary of computer science and programming > partical recursive scheme
См. также в других словарях:
КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… … Математическая энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия