Algorithmen werden zur Berechnung, Datenverarbeitung und automatisierten Argumentation verwendet. Genauer gesagt ist ein Algorithmus eine effektive Methode, die als endliche Liste genau definierter Anweisungen zur Berechnung einer Funktion ausgedrückt wird.