алгоритмически
1алгоритмически — нареч, кол во синонимов: 2 • абстрактный (24) • отвлеченный (29) Словарь синонимов ASIS. В.Н. Тришин. 2013 …
2Алгоритмически неразрешимая задача — В теории вычислимости алгоритмически неразрешимой задачей называется задача, имеющая ответ да или нет для каждого объекта из некоторого множества входных данных, для которой (принципиально) не существует алгоритма, который бы, получив любой… …
3функционально и алгоритмически специализированная интегральная схема — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN function and algorithm specific integrated circuitFASIC …
4Теория алгоритмически-эвристических процессов, ТАЭП (algorithmic-heuristic theory, ATH) — До начала 1950 х гг. понятие алгоритма считалось исключительно математическим. Термин «алгоритм» обычно означает точное, однозначное и, как правило, исчерпывающее предписание к выполнению, в каждом конкретном случае, определенной… …
5СУЩЕСТВЕННО НЕРАЗРЕШИМАЯ ТЕОРИЯ — алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию …
6АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
7Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …
8Вычислимая функция — Вычислимые функции  это множество функций вида, которые могут быть реализованы на машине Тьюринга. Задачу вычисления функции называют алгоритмически разрешимой или алгоритмически неразрешимой, в зависимости от того, возможно ли написать… …
9НОВИКОВ Петр Сергеевич — [р. 15(28) авг. 1901 ] – сов. математик и логик. Окончил Московский ун т (1925). Акад. (с 1960). Ленинская премия (1957). Н. – автор работ по теории множеств, матем. логике, алгебре, мн. из к рых, помимо собственно матем. ценности, имеют большое… …
10Теория алгоритмов — Теория алгоритмов  наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… …
