Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » Aufgabe 1
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
pruefungen:bachelor:thprog-ws15-braindump [12.02.2020 08:28] – vulgrim | pruefungen:bachelor:thprog-ws15-braindump [12.02.2020 08:34] – vulgrim | ||
---|---|---|---|
Zeile 69: | Zeile 69: | ||
length(Nil) = 0 | length(Nil) = 0 | ||
+ | |||
length(Cons x xs) = 1 + length(xs) | length(Cons x xs) = 1 + length(xs) | ||
Nil ⊕ ys = ys | Nil ⊕ ys = ys | ||
+ | |||
( Cons x xs ) ⊕ ys = Cons x ( xs ⊕ ys ) | ( Cons x xs ) ⊕ ys = Cons x ( xs ⊕ ys ) | ||
Zeile 77: | Zeile 79: | ||
cMap f ( Cons x xs ) = Cons ( f x ) ( cMap f xs ) | cMap f ( Cons x xs ) = Cons ( f x ) ( cMap f xs ) | ||
+ | |||
Beweisen Sie mittels struktureller Induktion, dass | Beweisen Sie mittels struktureller Induktion, dass | ||