Vorlesung: Grundlagen der Programmierung SoSe 03

Dozent: Ralf Möller

Inhalt:

1. Fundamente und Grundprinzipien der Programmierung, Systematische Entwicklung von Programmen
2. Aussagenlogik, Syntax, Semantik, Entscheidungsprobleme
3. Boole'sche Algebra
4. Algebra und logisches Schließen, Normalformen, Anwendungen: Loösen von Logeleien
5. Resolution
6. Resolution
7. Prädikatenlogik erster Stufe, Motivation, Syntax
8. Semantik der Prädikatenlogik
9. Entscheidungsprobleme, Anwendung: Spezifikation von Algorithmen
10. Prädikatenlogik, Elemente von Programmiersprachen
11. Verifikation von Algorithmen, Hoare-Kalkül Zuweisung und Kontrollstrukturen, Hoare-Kalkül
12. Verifikation von Algorithmen, Fallunterscheidungen, Hoare-Kalkül
13. Verifikation von Algorithmen, Schleifen, Hoare-Kalkül
14. Funktionen und Prozeduren
15. Rekursion
16. Rekursive Programme, Iterative Prozesse
17. Algorithmen, Asymptotische Komplexitaät, O-Notation
18. Sortieralgorithmen und deren Analyse
19. Quicksort
20. Automatentheorie und Formale Sprachen
21. Formale Sprachen, Grammatik, Grammatiktypen, Wortproblem, Ableitungsproblem
22. Reguläre Sprachen
23. Nichtdeteministische Endl.Automaten, Regulaäre Ausdruücke, Kontextfreie Sprachen, CYK-Algorithmus für Wortproblem, Compilerbau
24. Turing-Maschinen, Berechenbarkeitstheorie, Halteproblem