- частично-рекурсивный
- adj. partially recursive, partial recursive
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
частично-рекурсивный
Смотреть что такое "частично-рекурсивный" в других словарях:
частично-рекурсивный — частично рекурсивный … Орфографический словарь-справочник
частично-рекурсивный — … Орфографический словарь русского языка
частично-рекурсивный — част/ич/н/о/ рекурс/ивн/ый … Морфемно-орфографический словарь
ЧАСТИЧНО РЕКУРСИВНЫЙ ОПЕРАТОР — отображение класса всех одноместных функций в себя, определяемое следующим образом. Пусть Ф z нек рый перечисления оператор. С этим оператором естественным образом связан другой оператор к рый действует на одноместных функциях. А именно, всякая… … Математическая энциклопедия
РЕКУРСИВНЫЙ ОПЕРАТОР — всюду определенный частично рекурсивный оператор. В. Е. Плиско … Математическая энциклопедия
ОБЩЕРЕКУРСИВНЫЙ ОПЕРАТОР — частично рекурсивный оператор, к рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные. В. Е. Плиско … Математическая энциклопедия
СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание … Философская энциклопедия
Аббревиатура — У этого термина существуют и другие значения, см. Аббревиатура (значения). Аббревиатура (итал. abbreviatura от лат. brevis краткий) или сокращение. В старинных рукописях и книгах сокращённое написание слова или группы слов,… … Википедия
Аббревиатуры — Аббревиатура (итал. abbreviatura от лат. brevis краткий). В старинных рукописях и книгах сокращённое написание слова или группы слов. В современных изданиях любое сокращённое слово или словосочетание. Содержание 1 Разновидности 1.1 Инициальная … Википедия
XSL — (eXtensible Stylesheet Language) семейство рекомендаций консорциума W3C, описывающее языки преобразования и визуализации XML документов. Состоит из трех частей: XSL Transformations (XSLT) язык преобразований XML документов. XSL Formatting Objects … Википедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
