| 15. 4. |
Überblick |
| 22. 4. |
Wahrheitsbedingungen;
Aussagenlogik |
| 29. 4. |
Aussagenlogik,
Übersetzung
Natürliche Sprache -> AL |
| 6. 5. |
Prädikatenlogik
(atomare
Sätze), ein Fragment des Englischen |
| 13. 5. |
Kompositionale
Übersetzung,
zusammengesetzte Sätze |
| 20. 5. |
Typentheorie |
| 27. 5. |
Typentheorie (Forts.) |
| 3. 6. |
Typentheorie, Modifikatoren |
| 10. 6. |
Zwischenklausur
(Musterlösungen)
|
| 17. 6. |
Variablen, Quantifikation |
| 24. 6. |
Quantifikation |
| 1. 7. |
Tempus |
| 8. 7. |
Lambda-Abstraktion |
| 15. 7. |
Klausur
(Nebenfach) |
| 22. 7. |
Klausur
(Kernfach)
|