| Nr. | Termin | Thema | Folien |
| Teil 1: Grundlagen und Programmiersprach-Paradigmen | |||
| 1 | 13.10.03 | Grundlagen | Grundlagen_X1.pdf, Grundlagen_X4.pdf |
| 2 | 20.10.03 | Grundlagen | |
| 3 | 27.10.03 | Konzepte imperativer Sprachen | Konzepte-Imperativer-Sprachen_X1.pdf, Konzepte-Imperativer-Sprachen_X4.pdf |
| 4 | 3.11.03 | Vorlesung fällt aus | |
| 5 | 10.11.03 | Konzepte imperativer Sprachen (Fortsetzung) | |
| 6 | 17.11.03 | Deklarative Sprachen | Deklarative-Sprachen_X1.pdf, Deklarative-Sprachen_X4.pdf |
| 7 | 24.11.03 | Deklarative Sprachen (Fortsetzung), Fortran | Fortran_X1.pdf, Fortran_X4.pdf |
| 7 | 1.12.03 | Skriptsprachen | Skriptsprachen_X1.pdf, Skriptsprachen_X4.pdf |
| 8 | 8.12.03 | Objektorientierte Programmiersprachen | OO-Sprachen_X1.pdf, OO-Sprachen_X4.pdf |
| 9 | 15.12.03 | OO-Sprachen (Fortsetzung), Cobol | Cobol_X1.pdf, Cobol_X4.pdf |
| Teil 2: Formale Semantik | |||
| 10 | 12.1.04 | Operationale Semantik mit ASMs | Formale-Semantik-Einleitung_X1.pdf, Formale-Semantik-Einleitung_X4.pdf, Formale-Semantik-ASMs_X1.pdf, Formale-Semantik-ASMs_X4.pdf |
| 12 | 19.1.04 | Operationale Semantik mit strukturell operationaler Semantik und mit natürlicher Semantik | Formale-Semantik-Operational_X1.pdf, Formale-Semantik-Operational_X4.pdf |
| 13 | 26.1.04 | Denotationelle Semantik | Formale-Semantik-Denotational_X1.pdf, Formale-Semantik-Denotational_X4.pdf |
| 11 | 2.2.04 | Denotationelle Semantik | |
| 14 | 9.2.04 | Axiomatische Semantik | Formale-Semantik-Axiomatisch-X1.pdf, Formale-Semantik-Axiomatisch-X4.pdf |