Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2011 / Programmierung und Modellierung / "Tafelanschrieb 23.05.11"


Inhaltsbereich

"Tafelanschrieb 23.05.11"

Plain Text icon tafel230511.txt — Plain Text, 1 KB

Dateiinhalt

1. Fall: l =[]
Z.Z. rev_aux([],acc) = rev([]) @ acc
rev_aux([],acc) = acc
rev([])@acc = []@acc = acc OK

2.Fall: l=k::r
Z.Z. rev_aux(k::r,acc) = rev(k::r) @ acc
Duerfen verwenden: 
"fuer alle acc gilt: rev_aux(r,acc) = rev(r) @ acc"


rev_aux(k::r,acc) = rev_aux(r,k::acc)

verwende Ind.hyp mit k::acc: 

rev_aux(r, k::acc) = rev(r) @ (k::acc)
= rev(r) @ ([k] @ acc)
= (rev(r) @ [k]) @ acc
= rev(k::r) @ acc

Artikelaktionen


Funktionsleiste