Alles, was mit dem mathematischen Induktionsprinzip und den auf das Rechnen angewandten Techniken zusammenhängt. Bitte verwenden Sie dieses Tag NICHT für Fragen, die nur Mathematik betreffen, da sie außerhalb des Themas von SO liegen. Dieses Tag kann nur für Mathe-bezogene Fragen verwendet werden, wenn es einige Programmieraktivitäten oder Software-Tools (z. B. automatische Theoremprüfung usw.) beinhaltet.
Was ist die Beziehung zwischen Rekursion und Beweis durch Induktion?
Sagen wir fn(n) ,
Rekursion ist fn(n) ruft sich selbst auf, bis meet base condition ;
Induktion ist, wenn base condition erfüllt ist, versuchen zu beweisen...
09.06.2012, 09:32
Ist das folgende eine Definition der strukturellen Induktion?
%Vor%
Kann mir jemand ein Beispiel für strukturelle Induktion in Haskell geben?
19.02.2013, 14:41