Mathematische Grundlagen der Computerlinguistik II
Vorlesung mit Proseminar
CIS, SS 2005
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
- Aussagenlogik (auch temporale und modale)
- Boole'sche Algebra
- Prädikatenlogik 1. Stufe
- Beweiskalküle der Prädikatenlogik
- Lambda-Terme und die Theorie der einfachen Typen
- Montague-Semantik und Übersetzung natürlicher in logische Aussagen
Ich werde nach meinem Skript vom SS 2003 (s.u.) vorgehen, aber am Anfang noch
Teile zur klassischen Aussagenlogik ergänzen, bei der Relationenalgebra
kürzen und etwas zu Vollständigkeits- und Erhaltungssätzen
ergänzen. Ausführlicher ist vieles im Skriptum von Prof.Schulz dargestellt,
dafür fehlen dort u.a. die Teile zu Lambda-Termen und Montague-Semantik.
Neue bzw. geänderte Teile des Skriptums werden hier im Laufe des Semesters eingefügt.
- Aussagenlogik:Erfüllbarkeit,Folgerung
- Aussagenlogik:Funktionale Vollständigkeit
- Aussagenlogik:Endlichkeitssatz
- Aussagenlogik:Interpolation
und Definierbarkeit (zum Selbststudium)
- Temporale und modale Aussagenlogik
- Boolesche Algebra
- Gentzenkalkül (Aussagenlogik)
- Anhang: Induktion
Literatur
- H.Leiß: Skriptum
Math.Grundlagen der CL vom SS 2003 (110 Seiten)
- K.Schulz:
Mathematische Grundlagen der Informatik und Linguistik ab Kapitel 8
- 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 mir eine Nachricht
schicken an leiss at cis.uni-muenchen.de oder in meine Mentorenstunde kommen.
Termine
Vorlesung Mi 16-18, Raum 1.35, Übung Fr, 8-10, Raum 0.05
- Aufgabenblatt
1
- Aufgabenblatt 2
- Aufgabenblatt 3
- Aufgabenblatt 4: Lesen Sie die Merkblätter zur Induktion und
versuchen Sie dann nochmal Aufgabe 7 a) und 9 von Blatt 3 nach dem Schema
für Induktionsbeweise.
- Aufgabenblatt 5
- Aufgabenblatt 6
- Aufgabenblatt 7
- Aufgabenblatt 8
File translated from TEX by TTH, version 2.54.
On 17 Jun 2005, 11:39.