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
- Temporale und modale Aussagenlogik
- Boole'sche Algebra
- Prädikatenlogik 1. Stufe
- Beweiskalküle der Prädikatenlogik
- Monadische Prädikatenlogik 2.Stufe
- Lambda-Terme und die Theorie der einfachen Typen
Literatur
- Mathematische Grundlagen I. Vorlesungsskriptum von Prof.K.Schulz.
- B.H.Partee, A.Ter Meulen, R.E.Wall: Mathematical Methods in Linguistics
- 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
- Temporale Aussagenlogik (wird evtl. noch erweitert)
- Modale Aussagenlogik (wird evtl. noch erweitert)
- Boole'sche Algebra (Teil 1)
- Boole'sche Algebra (Teil 2) (um 2.4 erweitert, 7.5.03)
- Relationenalgebra und Peirce'sche Algebra (vervollständigt 13.5.03)
- Die
Syntax und Semantik der Prädikatenlogik 1.Stufe (nachgetragen, 3.6.03)
- Normalformen
in der Aussagenlogik und Relationenalgebra (nur umnumeriert, 3.6.03)
- Normalformen
in der Prädikatenlogik (3.6.03)
- Die
Lindenbaumalgebra einer aussagenlogischen Theorie (nachgetragen, 3.6.03)
- Das Herbrand-Modell einer Theorie erster Stufe (5.6.03)
- Höherstufige Logik und Typentheorie (kommt noch)
- 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
- Aufgabenblatt 1 (Temporale Aussagenlogik)
- Aufgabenblatt 2 (Modale Aussagenlogik, Programmlogik)
- Aufgabenblatt 3 (Boole'sche Algebra und Ideale)
- Aufgabenblatt 4 (Relationenalgebra und Peirce'sche Algebra)
- Aufgabenblatt 5 (Nochmal Boole'sche Algebra, Relationenalgebra und Peirce'sche Algebra)
- Aufgabenblatt
6 (Normalformen in der Aussagenlogik und Relationenalgebra)
- Aufgabenblatt
7 (Substitutionslemma und Normalformen in der Prädikatenlogik)
- Aufgabenblatt
8 (Lambda-Terme und Montague-Grammatik)
File translated from TEX by TTH, version 2.54.
On 28 Apr 2005, 16:17.