Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:parameterinduktion

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

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)