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
  1. Wie beweist man eine Behauptung?
  2. Boole'sche Algebra und Relationenalgebra
  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 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

  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 Di 16-18, Raum 1.13, Übung Do, 16-18, Raum 1.13
  1. Aufgabenblatt 1
  2. Aufgabenblatt 2
  3. Wie macht man einen Beweis?
  4. Aufgabenblatt 3        Loesungen 3
  5. Aufgabenblatt 4
  6. Aufgabenblatt 5
  7. Aufgabenblatt 7
  8. Aufgabenblatt 8 Abgabe Di 19.6.07
  9. Aufgabenblatt 9 Abgabe Di 3.7.07



File translated from TEX by TTH, version 3.70.
On 26 Jun 2007, 20:12.