Mathematische Grundlagen der Computerlinguistik II
Vorlesung mit Proseminar
CIS, SS 2007
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
- Wie beweist man eine Behauptung?
- Boole'sche Algebra und Relationenalgebra
- 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
auf das Vorgehen beim Beweisen eingehen, bei der Boole'schen Algebra und
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.
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 Di 16-18, Raum 1.13, Übung Do, 16-18, Raum 1.13
- Aufgabenblatt
1
- Aufgabenblatt
2
-
Wie
macht man einen Beweis?
- Aufgabenblatt
3
Loesungen 3
- Aufgabenblatt
4
- Aufgabenblatt
5
- Aufgabenblatt
7
- Aufgabenblatt
8 Abgabe Di 19.6.07
- Aufgabenblatt
9 Abgabe Di 3.7.07
File translated from
TEX
by
TTH,
version 3.70.
On 26 Jun 2007, 20:12.