Mathematische Grundlagen der Computerlinguistik I:
Mengenlehre, Algebra und Logik

(http://www.coli.uni-saarland.de/~saurer/lehre/ws00/mg1-ws00.html)


Hier sind die Übungsblätter als ps-file.
This page is available in English as well.

Vorlesung mit Übung
Erster Studienabschnitt
Leitung: Werner Saurer


V Mo 14-16, Mi 13-14; Gebäude 17.2, Seminarraum, Beginn: 25.10.2000
Ü Mi 16-18,Gebäude 17.2, Seminarraum , Beginn: 08.11.2000

Inhalt

Der Stoff dieses Kurses - dem ersten Semester einer zwei-semestrigen Vorlesung - umfasst Mengenlehre, Ordnungsrelationen, Algebra (Gruppen, Verbände) sowie Aussagen- und Prädikatenlogik erster Stufe. Logik wird den Hauptanteil der Vorlesung ausmachen. Jede der zwei Logiken wird unter vier Aspekten untersucht: formale Syntax, formale (modelltheoretische) Semantik, Beweistheorie und Anwendung auf natürliche Sprachen (Formalisieren, "informelle Semantik"). Das Ziel des Kurses ist die Vermittlung grundlegender logischer Fertigkeiten wie Formalisierung von natürlichsprachlichen Sätzen, Konstruktion formaler Beweise in einem System des natürlichen Schliessens und semantische Bewertung von Formeln (Wahrheitstafelmethode, Wahrheitsbedingungen für prädikatenlogische Formeln "errechnen").

Voraussetzungen/Bemerkungen

Keine

Stellung im Studienplan

Pflichtveranstaltung für CL-Diplom und MA-NF (Schein).
Die Veranstaltung zählt 5 Leistungspunkte.

Literatur

Partee, B., A. ter Meulen, R.Wall, Mathematical Methods in Linguistics. Kluwer 1990.
Leblanc, H., W. Wisdom, Deductive Logic. Allyn and Bacon, 1976.
Thomason, R., Symbolic Logic. Macmillan, 1970.

Scheine

Leistungsnachweis durch zwei Klausuren, je 45 Minuten; die 1. Klausur (keine Anmeldung erforderlich) findet in der Mitte des Semesters statt und prüft die 1. Hälfte des Stoffes ab, die 2. Klausur ist am Mittwoch, 14.Februar 2001, 13-14 Uhr und prüft die 2. Hälfte des Stoffes ab.
Zur 2.Klausur muss man sich anmelden. Anmeldefrist ist bis 31. Januar 2001. Einziges Hilfsmittel für die Klausuren ist je ein "Spickzettel" (eine DIN A-4 Seite), den man sich selbst oder im Verein mit andern zusammenstellen kann.
Die Nachklausur (im Normalfall die 1. Wiederholung) findet am Montag, 19.02.2001, 14-16 Uhr, statt.
(Siehe auch unter Klausurrichtlinien.)

Übung

Mi 16-18, Gebäude 17.2, Seminarraum; Beginn: 08.11.2000

Hier sind die Übungsblätter als ps-file.

Zeitplan (annähernd)

1.-2.Woche Grundbegriffe der Mengenlehre
3.-4.Woche Grundbegriffe der algebraischen und Ordnungsstrukturen, Verbände
5.-8.Woche Aussagenlogik: Formalisieren, Syntax und Semantik
8.Woche 1.Klausur; Stoff der 1. Hälfte, 45 Minuten; Probeklausur
9.-10.Woche Aussagenlogik: Beweistheorie (Natürliches Schliessen)
11.-13.Woche Prädikatenlogik: Formalisieren, Syntax, Beweistheorie (Nat.Schliessen)
14.-15.Woche Prädikatenlogik: Formale (modelltheoretische) Semantik
15.Woche2.Klausur; Stoff der 2. Hälfte, 45 Minuten; Probeklausur
16.Woche1. Nachklausur (Stoff der ganzen Vorlesung; 90 Minuten)

Kursüberblick

Kursunterlagen:

  • Verbaende.ps

  • Erste Probeklausur

  • Zweite Probeklausur

    • Zurück zum Vorlesungsverzeichnis WS 2000/01.