Вычислительная Математика

- действительное число, для к-рого существует алгоритм, находящий сколь угодно точные рациональные приближения к этому числу. Близкое значение имеет термин "конструктивное действительное число", обычно употребляемый при рассмотрении В. Д. Ч. В рамках той или иной системы конструктивной математики (см. Конструктивный анализ). Б. ..

бинарного отношения между словами данного вида - алгоритм (в к.-л. Точном смысле. Напр. - как это сделано в [1] - нормальный алгорифм), применимый ко всякому слову рассматриваемого вида и перерабатывающий в одно и то же слово всякие два слова, связанные этим отношением. А. А. Марков называет два слова неотделимыми по инвариантам данного отношения, если всякий В. И. Этого отношения перерабатывает упомянутые слова в один и тот же результат. Заметим, что если к.-л. Бинарное отношение разрешимо ..

, абстрактная машина,- математическое понятие, к-рое описывает модель вычислительной машины, абстрагируясь от ограниченности емкости запоминающих устройств и других технич. Параметров вычислительных машин. В отличие от последних, В. М. А. Может вычислять функции, определенные на бесконечной области конструктивных объектов (напр., целых чисел, слов в конечном алфавите, конечных графов, бесконечных деревьев и т. Д.). В. М. А. Употребляется как понятие, уточняющее интуитивное понятие алгоритма, д..

..