Mathematische Grundlagen der Computerlinguistik II
              
Vorlesung mit Proseminar
CIS, WS 2003

Hans Leiß

Inhalt

Es wird eine Einführung in Teilgebiete der diskreten Mathematik gegeben, die es erleichtert, die formalen Grundlagen anderer Veranstaltungen im Studiengang Computerlinguistik zu verstehen. Behandelt werden

  1. Temporale und modale Aussagenlogik
  2. Boole'sche Algebra
  3. Prädikatenlogik 1. Stufe
  4. Beweiskalküle der Prädikatenlogik
  5. Monadische Prädikatenlogik 2.Stufe
  6. Lambda-Terme und die Theorie der einfachen Typen

Literatur

  1. Mathematische Grundlagen I. Vorlesungsskriptum von Prof.K.Schulz.
  2. B.H.Partee, A.Ter Meulen, R.E.Wall: Mathematical Methods in Linguistics
  3. D.R.Dowty, R.E.Wall, S.Peters: Introduction to Montague Semantics

Fragen, Probleme und Kritik

Wenn Sie Schwierigkeiten haben, die Vorlesung oder die Aufgabenstellung zu verstehen, sollten Sie in der Proseminarstunde, aber auch während der Vorlesung Fragen stellen!

Bei Fragen außerhalb der Veranstaltungszeiten können Sie eine Nachricht schicken an mich oder den Tutor Frank Eisensehr

leiss@cis.uni-muenchen.de

oder in meine Mentorenstunde kommen.

Termine

Vorlesung Di 12-14, Raum 1.05

  1. Temporale Aussagenlogik (wird evtl. noch erweitert)
  2. Modale Aussagenlogik (wird evtl. noch erweitert)
  3. Boole'sche Algebra (Teil 1)
  4. Boole'sche Algebra (Teil 2) (um 2.4 erweitert, 7.5.03)
  5. Relationenalgebra und Peirce'sche Algebra (vervollständigt 13.5.03)
  6. Die Syntax und Semantik der Prädikatenlogik 1.Stufe (nachgetragen, 3.6.03)
  7. Normalformen in der Aussagenlogik und Relationenalgebra (nur umnumeriert, 3.6.03)
  8. Normalformen in der Prädikatenlogik (3.6.03)
  9. Die Lindenbaumalgebra einer aussagenlogischen Theorie (nachgetragen, 3.6.03)
  10. Das Herbrand-Modell einer Theorie erster Stufe (5.6.03)
  11. Höherstufige Logik und Typentheorie (kommt noch)
  12. Montague-Semantik (24.6.03, unfertig)

Gesamtes Skriptum: Gesamtes Skriptum (110 Seiten) 15.7.2003 Gesamtes Skriptum, .pdf

Übung Do 14-16, Raum 1.14

  1. Aufgabenblatt 1 (Temporale Aussagenlogik)
  2. Aufgabenblatt 2 (Modale Aussagenlogik, Programmlogik)
  3. Aufgabenblatt 3 (Boole'sche Algebra und Ideale)
  4. Aufgabenblatt 4 (Relationenalgebra und Peirce'sche Algebra)
  5. Aufgabenblatt 5 (Nochmal Boole'sche Algebra, Relationenalgebra und Peirce'sche Algebra)
  6. Aufgabenblatt 6 (Normalformen in der Aussagenlogik und Relationenalgebra)
  7. Aufgabenblatt 7 (Substitutionslemma und Normalformen in der Prädikatenlogik)
  8. Aufgabenblatt 8 (Lambda-Terme und Montague-Grammatik)


File translated from TEX by TTH, version 2.54.
On 28 Apr 2005, 16:17.