Prof. Dr. H.W. Lang

Aktuelles

• Beschreibung der Lehr­veranstaltung
•    Thema der Hausarbeit

Skript

Entwurf

• Programm­schleifen
• Rekursion

Programm­verifikation

• Korrektheits­formeln
• Halteproblem
• Korrektheit von If-Else-Anweisungen
• Korrektheit von While-Schleifen
• Totale Korrektheit von While-Schleifen

Trans­formationen

• Trans­formation
• Schnelle Fourier­transformation
• Trans­formation von Polynomen
• Diskrete Kosinus­transformation
• Die Mengen P und NP
• NP-vollständige Probleme

Recursive-Descent-Übersetzung

•    Grammatik
•    Parser

Übungsaufgaben

• Aufgabe 1   (Programm­schleifen)
• Aufgaben 2, 3, 4   (Rekursion)
• Aufgaben 5, 6, 7   (Korrektheits­formeln)
• Aufgaben 8, 9   (Korrektheit von If- und While-Anweisungen)
• Aufgaben 10, 11   (Korrektheit von While-Anweisungen)
• Aufgabe 12   (Schnelle Fourier­transformation programmieren)
• Aufgabe 13   (Schnelle Polynom­multiplikation)
•    Aufgaben 14, 15   (Grammatik, Parser)

Literatur