Induktion ? < Haskell < Programmiersprachen < Praxis < Informatik < Vorhilfe
|
| Aufgabe | Die Funktionen average, magic :: Float -> Float -> Float sind wie folgt definiert:
average x y = (x + y)/2 -- (1)
magic x y = x + 0.5 * y -- (2)
Beweisen Sie mit vollständiger Induktion, dass für beliebige Float-Listen xs die Aufrufe
2* foldr average 0 xs und foldr magic 0 xs den gleichen Wert berechnen.
Die Zeilennummerierung in der Definition kann zur Begründung der Schritte herangezogen
werden. |
Hallo,
also ein bisschen Haskell kann ich schon und in vollständiger Induktion bin ich eigentlich sehr sicher. Nur - zusammen krieg ich das irgenwie nicht gebacken!
Wie geht man an eine "Code-Induktion" heran??
Gruß,
Ole
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Mi 16.01.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
