алгоритмически
21АЛГОРИТМА СЛОЖНОСТЬ — описания величина, характеризующая длину описания алгоритма. В зависимости от точной концепции алгоритма А. с. описания уточняется по разному. Единого достаточно устоявшегося уточнения к настоящему моменту (1977) не существует. Ниже рассмотрены… …
22ГОМЕОМОРФИЗМ — взаимно однозначное соответствие между двумя топологич. пространствами, при к ром оба взаимно обратных отображения, определяемые этим соответствием, непрерывны. Эти отображения наз. гомеоморфными, или топологическими, отображениями, а также… …
23ИСЧИСЛЕНИЕ — 1) Составная часть названия нек рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. е. способ задания множества путем… …
24Квантовый алгоритм — Квантовый алгоритм  это алгоритм, предназначенный для выполнения на квантовом компьютере. Квантовый алгоритм представляет собой классический алгоритм, который задает последовательность унитарных операций (гейтов, или вентилей) с указанием,… …
25Теорема Райса — В теории алгоритмов, теорема Райса гласит, что для любого нетривиального свойства вычислимых функций, определение, вычисляет ли произвольный алгоритм функцию с таким свойством, является алгоритмически неразрешимой задачей. Здесь свойство… …
26Кореферентность — или референциональное тождество  отношение между именами  компонентами высказывания, в котором имена ссылаются на один и тот же объект (ситуацию) внеязыковой действительности (референт)[1]. Благодаря кореферентности текст можно сделать… …
27Нормальная форма (математика) — У этого термина существуют и другие значения, см. Нормальная форма (значения). Нормальная форма  в математике простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями[1]. Содержание 1 Жорданова… …
28РАЗРЕШЕНИЯ ПРОБЛЕМА — РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести… …
29АЛГОРИТМИЧЕСКИЙ ЯЗЫК — формальный язык, система лингвистических знаков, предназначенная для записи алгоритмов; его использование базируется на возможности формального задания правил конструирования алгоритмов. При формальном описании алгоритмов существенное значение… …
30АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ — (англ. algorithmic unsolvability) важнейшее свойство некоторых классов корректно поставленных задач, допускающих применение алгоритмов, состоящее в том, что задачи каждого из этих классов в принципе не имеют к. л. общего, универсального алгоритма …
