| Nr. | Termin | Thema | Folien |
| Teil 1: Grundlagen und Programmiersprach-Paradigmen | |||
| 1 | 14.10.02 | Grundlagen | Grundlagen-HPS-X1.pdf, Grundlagen-HPS-X4.pdf |
| 2 | 21.10.02 | Grundlagen; Konzepte imperativer Sprachen | Konzepte-X1.pdf, Konzepte-X4.pdf |
| 3 | 28.10.02 | Konzepte imperativer Sprachen (Fortsetzung) | keine neuen Folien |
| 4 | 4.11.02 | Konzepte imperativer Sprachen (Fortsetzung) | keine neuen Folien |
| 5 | 11.11.02 | Deklarative Sprachen | Deklarative-Sprachen-X1.pdf, Deklarative-Sprachen-X4.pdf |
| 6 | 18.11.02 | Objektorientierte Sprachen | OO-Sprachen-X1.pdf, OO-Sprachen-X4.pdf |
| 7 | 25.11.02 | OO-Sprachen (Fortsetzung), Fortran | Fortran-X1.pdf, Fortran-X4.pdf |
| 7 | 2.12.02 | Fortran; Formale Semantik - ASMs (Anfang) | keine neuen Folien |
| Teil 2: Formale Semantik | |||
| 8 | 9.12.02 | Operationale Semantik mit ASMs | Formale-Semantik-ASMs-X1.pdf, Formale-Semantik-ASMs-X4.pdf |
| 9 | 16.12.02 | Operationale Semantik mit natürlicher Semantik und SOS | Formale-Semantik-Operational-X1.pdf, Formale-Semantik-Operational-X4.pdf |
| 10 | 13.1.02 | Denotationelle Semantik | Formale-Semantik-Denotational-X1.pdf, Formale-Semantik-Denotational-X4.pdf |
| 12 | 27.1.03 | Denotationelle Semantik | |
| 13 | 3.2.03 | Denotationelle Semantik; Axiomatische Semantik | Formale-Semantik-Axiomatisch-X1.pdf, Formale-Semantik-Axiomatisch-X4.pdf |
| Teil 3: Weitere Programmiersprachen | |||
| 11 | 20.1.03 | Skriptsprachen (wurde terminlich vorgezogen) | Skriptsprachen-X1.pdf, Skriptsprachen-X4.pdf |
| 14 | 10.2.03 | Cobol | Cobol-X1.pdf, Cobol-X4.pdf |