Präsentationsfolien (PDF)
Präsentationsfolien (PDF) Präsentationsfolien (PDF)
8.1 Einführung der Rekursion Korrekt gemäß Spezifikation? • Gegeben: Spezifikation einer Funktion f (im mathematischen Sinne). Gefragt: Berechnet eine in einer Programmiersprache ausgedrückte Funktion f immer f ? • Naiver Ansatz („ausprobieren“): Für jede Eingabe kann das Ergebnis durch schrittweises Ausführen von f ermittelt werden. Dabei werden Methodenaufrufe im Methodenschachtelmodell ausgewertet. • Formaler Ansatz („beweisen“): Durch Verallgemeinerung Aussage für alle Eingaben ableiten! Korrektheitsbeweis Algorithmen und Datenstrukturen Philippsen/Stamminger/Pflaum/Riehle WS 2010/2011 Folie 08-10
8.1 Einführung der Rekursion Rekursion als konstruktive Form der Induktion Rekursionsprinzip Auswertung f(e) für ein e Induktion (vollständig) Beweis P für alle e • Für einige f(e 0 ) ist der Wert von f ohne weitere Rekursion feststellbar. • Versuche einen/mehrere Werte e‘
- Seite 1 und 2: Algorithmen und Datenstrukturen 8.
- Seite 3 und 4: 8. Rekursion 8.1 Einführung der Re
- Seite 5 und 6: 8.1 Einführung der Rekursion Eine
- Seite 7 und 8: 8.1 Einführung der Rekursion Zentr
- Seite 9: 8.1 Einführung der Rekursion Java-
- Seite 13 und 14: 8.1 Einführung der Rekursion Termi
- Seite 15 und 16: 8.1 Einführung der Rekursion Termi
- Seite 17 und 18: 8.2 Türme von Hanoi Problemspezifi
- Seite 19 und 20: 8.2 Türme von Hanoi Lösungsansatz
- Seite 21 und 22: 8.2 Türme von Hanoi Java-Code void
- Seite 23 und 24: 8.2 Türme von Hanoi • Korrekthei
- Seite 25 und 26: 8.3 Fibonacci-Zahlen • Ergebnis:
- Seite 27 und 28: 8.3 Fibonacci-Zahlen • Fibonacci-
- Seite 29 und 30: 8.3 Fibonacci-Zahlen Durchreichen v
- Seite 31 und 32: 8.3 Fibonacci-Zahlen Analyse der Re
- Seite 33 und 34: 8.4 Skyline-Problem Teile-und-Herr
- Seite 35 und 36: 8.4 Skyline-Problem Teile-und-Herr
- Seite 37 und 38: 8.4 Skyline-Problem Teile-und-Herr
- Seite 39 und 40: 8.4 Skyline-Problem Teile-und-Herr
- Seite 41 und 42: 8.5 Hinführung: Blasensortierung (
- Seite 43 und 44: 8.5 Sortieren durch Mischen („mer
- Seite 45 und 46: 8.5 Sortieren durch Mischen („mer
- Seite 47 und 48: 8.6 Rekursionsformen • Verschacht
- Seite 49 und 50: 8.6 Rekursionsformen • Verschrän
- Seite 51 und 52: 8.6 Rekursionsformen • Fakultäts
8.1 Einführung der Rekursion<br />
Rekursion als konstruktive Form der Induktion<br />
Rekursionsprinzip<br />
Auswertung f(e) für ein e<br />
Induktion (vollständig)<br />
Beweis P für alle e<br />
• Für einige f(e 0 ) ist der Wert von f<br />
ohne weitere Rekursion feststellbar.<br />
• Versuche einen/mehrere Werte e‘