Prof. Dr. Marcus Kracht

Vorlesung Formale Methoden II (230009, 23-LIN-BaLin5, 23-TXT-BaCL2, 23-TXT-CL2a)

Ort und Zeit: Mi 14-16 in H14.

Siehe auch EKVV.

Tutorien:

  • Christopher Neumann, Do 8-9, 9-10, X-E0-207.

Materialien und Planung

  • Ein Skript. Dieses ist an einigen Stellen etwas ausführlicher als nötig. Es enthält sowohl den Inhalt von Formale Methoden 1 als auch Formale Methoden 2.
Daneben gibt es auch Literatur (zum Beispiel Carstensen et. al: Computerlinguistik und Sprachtechnologie, Spektrum Verlag, Berlin, 2004, sowie Partee, Wall, ter Meulen: Mathematical Methods in Linguistics, Kluwer, Dordrecht, 1990).

Planung der Vorlesung:

Die Kapitelzahlen beziehen sich auf das Skript.
  • 19.04.2017. Kapitel 15. Zeichensysteme.
  • 26.04.2017. Kapitel 16. Aussagen. 1. Übung.
  • 03.05.2017. Kapitel 17. Variable und Belegungen. 2. Übung.
  • 10.05.2017. Kapitel 18. Wahrheitstafeln und Normalformen. 3. Übung.
  • 17.05.2017. Kapitel 19. Tableaux. 4. Übung.
  • 24.05.2017. Kapitel 20. Folgerung. 5. Übung.
  • 31.05.2017. Kapitel 23. Prädikatenlogik. Grundlegendes. 6. Übung.
  • 07.06.2017. Kapitel 24. Prädikatenlogik. Semantik 1. 7. Übung.
  • 14.06.2017. Kapitel 25. Prädikatenlogik. Semantik 2. 8. Übung.
  • 21.06.2017. Wiederholung.
  • 28.06.2017. Kapitel 27. Substitution. 9. Übung.
  • 05.07.2017. Kapitel 26. Definierbarkeit I. 10. Übung.
  • 12.07.2017. Kapitel 26. Definierbarkeit II. 11. Übung.
  • 19.07.2017. Kapitel 29. Syllogistik.
  • 26.07.2017. Anwesenheitsübung/Klausur.

Marcus Kracht
Zuletzt geändert: Do 20. Juli 2017 14:00:00 CET