(лат. algoritmi, algoritmus; первоначально - транслитерация имени среднеазиатского ученого 9 в. - Мухамеда бен Мусы аль-Хорезми) - одно из основных понятий логики и математики. Термин  "А." был введен в математику Лейбницем в связи с разработкой им вопросов дифференциального исчисления. Под А. понимают последовательность точно описанных операций, выполняемых в определенном порядке. Примерами А. могут служить точно установленные предписания решения математических, логических, физических и всяких других задач, когда эти задачи  являются заведомо решаемыми. Массовость А. понимается как то обстоятельство, что исходные данные  задач изменяются лишь в определенных пределах. Детерминированность А. состоит в том, что путь решения задач предопределен однозначно. Результативность А. означает, что на каждом шаге процесса  решения задачи известно, что считать его результатом. Алгоритмической называют проблему отыскания для ряда конкретных задач как самого А., так и его массовости. Г.В. Беляев