Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:parameterinduktion

Parameterinduktion

Bedeutung

Bei funktionalen Programmen spielen zwei Beweisverfahren eine zentrale Rolle:

1. Strukturelle Induktion oder Parameterinduktion

2. Berechnungsinduktion (computational induction) Wir stellen nur die Paramterinduktion/strukturelle Induktion vor.

Bei der Parameterinduktion werden die Eigenschaften einer Funktion für alle Parameter gezeigt, indem man eine Induktion über die Menge der zulässigen Parameter führt.

glossar/parameterinduktion.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)