Induktion: take/drop Funktion < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Beweisen Sie durch Induktion takee n l ++ drop n l = l, wobei l auch eine leere Liste sein kann. Die Funktion ist wie folgt definiert:
[] ++ xs = xs (++.1)
(a:as) ++ xs = a:(as++xs) (++.2)
take n _ | n<= 0 = [] (take.1)
take _ [] = [] (take.2)
take n (x:xs) = x:take (n-1) xs (take.3)
drop n xs | n<= 0 = xs (drop.1)
drop _ [] = [] (drop.2)
drop n (_:xs) = drop (n-1) xs (drop.3)
Geben Sie für alle Beweisschritte die verwendeten Beziehungen oder Gesetze an.
|
Hallo, ich brauch ein paar Tips zu dieser Aufgabe. Ich weiß nicht so richtig wie ich den Induktionsanfang finden, bzw. was ich 0 setzen soll.
Hoffe hier kann mir wer helfen
Gruß Sophie
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Do 22.01.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
