- примитивно-рекурсивный
-
примитивно-рекурсивный
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
примитивно-рекурсивный
Смотреть что такое "примитивно-рекурсивный" в других словарях:
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… … Математическая энциклопедия
