алгоритм
АЛГОРИТМ, алгорифм (від algorithmus — лат. транслітерації імені математика IX ст. Мухамеда бен Мусиаль-Хорезмі) — точно визначена і строго детермінована система послідовних правил дії (програма), призначена для ефективного розв'язання певного класу задач. Визначальні ознаки: детермінованість — строга однозначність, точність і визначеність алгоритмічного припису; дискретність — розчленованість алгоритмічного процесу на окремі елементарні акти, можливість виконання яких не підлягає сумніву; ефективність (результативність) — спрямованість А. на отримання певного результату через скінченне число кроків, кожний з яких фіксує цілком визначений результат; масовість — А. є ефективним методом розв'язання не однієї якоїсь конкретної задачі, а цілого класу однотипних задач. Строга логічна експлікація поняття А. була проведена у варіантах теорії А., запропонованих у серед. 30-х рр. Ербраном, Геделем, Кліні, Черчем, Тьюрінгом, Постом, а в кін. 40-х — на поч. 50-х рр. Марковим. Алгоритмічні схеми Тьюрінга і Поста відіграли роль ідеальних прообразів універсальних ЕОМ.
Філософський енциклопедичний словник