Eine exakt beschriebene Vorgehensweise zum Lösen eines mathematischen oder programmiersprachlichen Problems in endlich vielen und eindeutig beschriebenen Schritten.