Словарь логики

(от Algorithmi - латинизированная форма имени выдающегося среднеазиатского ученого Аль-Хорез­ми) — конечный набор правил, позволяющих чисто механически решать любую конкретную задачу из некоторого класса однотип­ных задач. Примерами простейших А. могут служить А. вычитания, сложения, умножения и деления целых чисел в арифметике с десятичной системой счисления. Осуществление алгоритмического процесса может быть пере­дано машине, которая благодаря своему быстродействию спо­собна решать задачи, недоступные человеку. Возможность пере­дать машине осуществление алгоритмических процедур стимулировала создание математической теории алго­ритмов, в которой понятие А. было уточнено с помощью таких понятий, как «рекурсивная функция», «машина Тьюринга», «нор­мальный А.» и т. п.