الگوریتم:

یک رویه‌ی صریح و گام‌به‌گام متناهی برای حل یک مسئله یا نیل به یک هدف مطلوب: برای مثال، اثبات اینکه یک جمله‌ی منطقی به‌واسطه‌ی قواعد منطقی از یک نظریه‌ی خاص قابل‌استنتاج است. حتی مجموعه‌ی دستورالعمل‌ها برای انجام یک ضرب ساده نیز یک الگوریتم است.

منبع:

Flew, Antony. 1979. Algorithm, A Dictionary of Philosophy (2nd edition), St. Martin's Press