Strukturelle Induktion

De strukturelle Induktion soll die Gültigkeit einer Funktion zeigen, die auf Listen arbeitet. Hierzu wird zunächst gezeigt, dass die Funktion für eine leere Liste gilt. Dann wird die Gültigkeit für eine Liste mit n-1 Elementen vorausgesetzt und damit gezeigt, dass die Funktion auch für alle Listen gilt, die n Elemente besitzen.

Das Zeigen funktioniert ganz normal über das Substitutionsmodell.

Keine Kommentare:

Kommentar veröffentlichen