Mathematische Grundlagen der Computerlinguistik I
              
Vorlesung mit Proseminar
CIS, WS 2004/05

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. Mathematische Grundbegriffe wie Mengen, Relationen, Funktionen
2. Relationalstrukturen und Algebren
3. Syntax und Semantik der Aussagen- und Prädikatenlogik
4. Beziehungen zwischen Strukturen (Unterstrukturen, Homomorphismen u.a.)

Literatur

1. Mathematische Grundlagen I. Vorlesungsskriptum von Prof.K.Schulz.
2. B.H.Partee, A.Ter Meulen, R.E.Wall: Mathematical Methods in Linguistics

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 die Tutorin Andrea Stubbe (Email wird noch bekanntgegeben)

leiss@cis.uni-muenchen.de

oder in meine Mentorenstunde Di 10.30-11.30, Raum B 107, Oettingenstr.67. kommen.

Termine

Vorlesung Di 16-18, Raum 1.27

Das Skriptum von Prof. Schulz wird hier als Postskript-Datei (s.u.) kapitelweise zur Verfügung gestellt.

1. Skriptum Kapitel 1, S.1-22 (.pdf)
2. Skriptum Kapitel 2, S.23-54 (.pdf)
3. Skriptum Kapitel 3, S.55-98 (.pdf)
4. Skriptum Kapitel 4, S.99-140 (.pdf)

Da ich teilweise etwas anders vorgehe als Prof. Schulz, werden hier auch spezielle Merkblätter zu ausgewählten Themen bereitgestellt.

1. Merkblatt Objekte, Aussagen, Begründungen (.pdf) (S. 3-5 etwas erweitert, 17.11.)
2. Merkblatt Mengenaxiome (.pdf) (Def. Paarmenge und Beispiel 2.25 eingefügt, 17.11.)
3. Merkblatt Relationen, Funktionen, Diagonalverfahren
4. Folien: Wie macht man einen Beweis? (.pdf)
5. Merkblatt Relationen
6. Merkblatt Funktionen (kommt noch)
7. Merkblatt Äquivalenz und Ähnlichkeit(.pdf)

Proseminar/Tutorium Do 8-10, Raum 1.14

Übungsaufgaben: Abgabe jeweils Donnerstags in der Proseminarstunde

1. Aufgabenblatt 1, Abgabe Do 4.11.04 (.pdf)
2. Aufgabenblatt 2, Abgabe Do 11.11.04 (.pdf)
3. Aufgabenblatt 3, Abgabe Do 18.11.04 (.pdf)
4. Aufgabenblatt 4, Abgabe Do 25.11.04 (.pdf)
5. Aufgabenblatt 5, Abgabe Do 9.12.04 (.pdf)
6. Aufgabenblatt 6, Abgabe Do 16.12.04 (.pdf)
7. Aufgabenblatt 7, Abgabe Do 23.12.04 (.pdf)
8. Aufgabenblatt 8, Abgabe Do 20.01.05 (.pdf)

Scheinkriterium

Einen Proseminarschein erhalten Sie am Semesterende bei erfolgreicher Bearbeitung von Übungsaufgaben und Klausur. Sie dürfen die Übungsaufgaben in Kleingruppen von höchstens 4 Personen bearbeiten und Ihre Lösungen gemeinsam abgeben.

Allerdings sollten Sie die Lösungen anderer Gruppen nicht abschreiben: Lösungen, die bei mehreren Gruppen gleich lauten, werden nicht gewertet.

Da die Zahl der Teilnehmer, die noch Übungsaufgaben abgeben, sehr zurückgegangen ist und der ausgemachte Klausurtermin 15.2. versehentlich in die vorlesungsfreie Zeit fällt, habe ich auf die Klausur verzichtet.

Proseminarscheine

Wer seinen Schein noch nicht abgeholt hat, kann das in den Semesterferien oder am Anfang des Semesters bei mir tun.

Lesen und Drucken von Postskriptdateien <Datei>.ps

Die Skripten und Aufgabenblätter werden im Postskript-Format bereitgestellt (Dateien mit Suffix .ps).

Unter Linux kann man .ps-Dateien mit gv oder kview lesen und drucken.

Für Windows gibt es dazu die Programme gs unter

http://prdownloads.sourceforge.net/ghostscript/gs814w32.exe?download

oder gsview unter

http://www.cs.wisc.edu/ ghost/gsview/

die man sich installieren muß. Das Programm gsview setzt gs voraus, ist aber wohl einfacher zu benutzen.