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)
|