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

  1. Aussagenlogik (auch temporale und modale)
  2. Boole'sche Algebra
  3. Prädikatenlogik 1. Stufe
  4. Beweiskalküle der Prädikatenlogik
  5. Lambda-Terme und die Theorie der einfachen Typen
  6. 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.

  1. Aussagenlogik:Erfüllbarkeit,Folgerung
  2. Aussagenlogik:Funktionale Vollständigkeit
  3. Aussagenlogik:Endlichkeitssatz
  4. Aussagenlogik:Interpolation und Definierbarkeit (zum Selbststudium)
  5. Temporale und modale Aussagenlogik
  6. Boolesche Algebra
  7. Gentzenkalkül (Aussagenlogik)
  8. Anhang: Induktion

Literatur

  1. H.Leiß: Skriptum Math.Grundlagen der CL vom SS 2003 (110 Seiten)
  2. K.Schulz: Mathematische Grundlagen der Informatik und Linguistik ab Kapitel 8
  3. B.H.Partee, A.Ter Meulen, R.E.Wall: Mathematical Methods in Linguistics
  4. 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

  1. Aufgabenblatt 1
  2. Aufgabenblatt 2
  3. Aufgabenblatt 3
  4. 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.
  5. Aufgabenblatt 5
  6. Aufgabenblatt 6
  7. Aufgabenblatt 7
  8. Aufgabenblatt 8


File translated from TEX by TTH, version 2.54.
On 17 Jun 2005, 11:39.