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