Hier werden die Unterschiede zwischen zwei Versionen gezeigt.
— |
glossar:parameterinduktion [2017/09/26 10:20] (aktuell) |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
+ | ====== 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. | ||
+ | |||