Mathematische Grundlagen der Computerlinguistik I:
Mengenlehre und Logik

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


This page is available in
English as well.

Vorlesung mit Übung
Leitung: Werner Saurer

 

V Mo 14:15-15:45   Geb. C72, Seminarraum -1.05
Ü Mi 16:00-17:30   Geb. C72, Seminarraum -1.05

Erste Vorlesung findet am Mittwoch, 20.10.2021 statt (16:00 – 17:30)


Inhalt

Der Stoff dieses Kurses - dem ersten Semester einer zwei-semestrigen Vorlesung - umfasst Mengenlehre 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 B.Sc. Computerlinguistik und MA-Nebenfach (Schein).
Die Veranstaltung zählt 6 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.

Prüfungsleistungen

Die Prüfungsleistung besteht aus zwei Klausuren, je 45 Minuten; die 1. Klausur  findet voraussichtlich am 15.12.2022 statt und prüft die 1. Hälfte des Stoffes ab, die 2. Klausur ist voraussichtlich am Mittwoch, 02. Januar 2022, 16 Uhr und prüft die 2. Hälfte des Stoffes ab.

Um an einer Klausur teilnehmen zu können, muss man für den Kurs bzw. dessen Prüfungsleistungen angemeldet sein. Die verbindliche Anmeldefristwird ist der 08.12.2021.

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 1. Wiederholung der Klausur wird in Form einer Nachklausur angeboten (90 Minuten, deckt den gesamten Stoff ab). Sie findet voraussichtlich zu Beginn des Sommersemesters 2022 statt. Der Termin wird rechtzeitig bekanntgegeben.
(Siehe auch unter Klausurrichtlinien.)

Übung

Mi 16-18, Beginn: wird noch bekannt gegeben

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


Zeitplan (annähernd)

1.-2.Woche

Grundbegriffe der Mengenlehre

3.-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.Woche

2.Klausur; Stoff der 2. Hälfte, 45 Minuten; Probeklausur


Kursüberblick


Kursunterlagen:

·  Vorlesungsskript

·  Verbaende.ps

·  Erste Probeklausur

·  Zweite Probeklausur


Zurück zu den Vorlesungsverzeichnissen.