- определимая функция
- мат. definable function
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
алгоритм — АЛГОРИТМ (алгорифм; от лат. формы имени ученого 9 в. аль Хорезми Algorithmi) точное предписание о порядке выполнения некоторой системы операций над исходными данными для получения желаемого результата, которое исполняется вычислителем… … Энциклопедия эпистемологии и философии науки
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
Рассказ — РАССКАЗ. Термин «Р.» в его жанровом значении обычно применяется ко всякому небольшому повествовательному прозаич. литературному произведению с реалистической окраской, содержащему развернутое и законченное повествование о каком либо отдельном… … Литературная энциклопедия