CIS
Centrum für Informations- und Sprachverarbeitung
Ludwig-Maximilians-Universität München

Kommentiertes Vorlesungsverzeichnis
Sommersemester 2001

Mathematische Grundlagen I

Vorlesung mit Proseminar

Zeit und Raum:

Inhalt und Ziel der Veranstaltung

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 mathematische Grundbegriffe wie Mengen, Relationen, Funktionen, Relationalstrukturen und Algebren, sowie Aussagenlogik und Übersetzungen zwischen Aussagen in natürlicher Sprache und Formeln der Prädikatenlogik.

Voraussetzungen

Keine

Scheinkriterium

Proseminarschein bei erfolgreicher Bearbeitung von Übungsaufgaben und Klausur.

Literatur

Mathmatische Grundlagen I. Vorlesungsskriptum von Prof.K.Schulz.

B.H.Partee, A.Ter Meulen, R.E.Wall: Mathematical Methods in Linguistics

• Skriptum Kapitel 1
• Skriptum Kapitel 2
• Skriptum Kapitel 3 Übungsaufgaben: Aufgabe 3.3 (4 Punkte) und Aufgabe 3.7 (4 Punkte) Abgabe: Di 13.11.01
• Übungsaufgaben für Di 20.11.01: Aufgabe 3.10 (4 Punkte), Aufgabe 3.11 (3 Punkte), Aufgabe 3.13 (3 Punkte)
• Übungsaufgaben für Di 27.11.01: Aufgabe 3.23 (3 Punkte), Aufgabe 3.28 (5 Punkte), Aufgabe 3.29 (freiwillig, 6 Punkte)
• Skriptum Kapitel 4
• Übungsaufgaben für Di 4.12.01: Aufgabe 4.8 (4 Punkte), Aufgabe 4.1, Zusatzfrage: Welche der Eigenschaften hat die Teilwortbeziehung: reflexiv, transitiv, symmetrisch, irreflexiv, antisymmetrisch ? (6 Punkte)

• Übungsaufgaben für Di 11.12.01: Aufgabe 4.14 fuer die erste der drei definierten Relationen: Teil von 1. und 2. (5 Punkte), Aufgabe 4.15 fuer die erste der drei Relationen (5 Punkte)
• Musterlösung zu Aufgabe 4.15 5
• Skriptum Kapitel 6
• Merkblatt Syntax und Semantik der Prädikatenlogik erster Stufe
• Übungsaufgaben: Aufgabe 6
• Klausurtermin: Do 31.1.02
• Übungsaufgaben für Di, 22.1.02: Skriptum, Aufgabe 6.20 und Aufgabe 6.22
• Skriptum Kapitel 7
• Ergebnisse der Klausur und Scheinvergabe
• Musterlösung der Klausuraufgaben