Benutzer-Werkzeuge
glossar:parameterinduktion
Unterschiede
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. | ||
| + | |||
glossar/parameterinduktion.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)
Seiten-Werkzeuge
