- частично вычислимая функция
- partial function
Большой англо-русский и русско-английский словарь. 2001.
частично вычислимая функция
Смотреть что такое "частично вычислимая функция" в других словарях:
ВЫЧИСЛИМАЯ ФУНКЦИЯ — функция, вычисление значений к рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов вычисление искомых величин задач происходит последовательно из данных исходных… … Математическая энциклопедия
Вычислимая функция — Вычислимые функции это множество функций вида, которые могут быть реализованы на машине Тьюринга. Задачу вычисления функции называют алгоритмически разрешимой или алгоритмически неразрешимой, в зависимости от того, возможно ли написать… … Википедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни … Википедия
НАИМЕНЬШЕГО ЧИСЛА ОПЕРАТОР — m оператор, оператор минимизаци и, способ построения новых функций из других функций, состоящий в следующем. Пусть gесть (n+1) местная арифметич. функция, т. е. функция, аргументы к рой так же, как и она сама, принимают значения в множестве… … Математическая энциклопедия
Тезис Чёрча — Тьюринга — фундаментальное утверждение для многих областей науки, таких, как теория вычислимости, информатика, теоретическая кибернетика и др. Это утверждение было высказано Алонзо Чёрчем и Аланом Тьюрингом в середине 1930 х годов. В самой общей форме оно… … Википедия
алгоритм — АЛГОРИТМ (алгорифм; от лат. формы имени ученого 9 в. аль Хорезми Algorithmi) точное предписание о порядке выполнения некоторой системы операций над исходными данными для получения желаемого результата, которое исполняется вычислителем… … Энциклопедия эпистемологии и философии науки
НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… … Философская энциклопедия
Тьюринг, Алан Матисон — Алан Тьюринг Alan Turing Памятник в Сэквиль Парке Дата рождения: 23 июня 1912 Место рождения: Лондон, Англия Дата смерти: 7 июня 1954 … Википедия
Тьюринг А. М. — Алан Тьюринг Alan Turing Памятник в Сэквиль Парке Дата рождения: 23 июня 1912 Место рождения: Лондон, Англия Дата смерти: 7 июня 1954 … Википедия
