Mathematische Grundlagen: Logik

Vorlesung mit Übung

Leitung:Dr. Stefan Thater
Zeit und Ort:siehe LSF

Inhalt

Der Kurs befasst sich mit der Aussagenlogik und der Prädikatenlogik erster Stufe. Die zwei Logiken werden jeweils unter vier Aspekten untersucht: formale Syntax, formale (modelltheoretische) Semantik, Beweistheorie und Anwendung auf natürliche Sprachen (Formalisieren). 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).

Literatur

Voraussetzungen

Keine

Prüfungsleistung

Die Prüfungsleistung besteht aus einer Klausur im Umfang von 90 Minuten. Informationen zum Klausur-Termin finden sich im Vorlesungsverzeichnis (LSF). Die Anmeldefrist endet eine Woche vor der Klausur. Zugelassenes Hilfsmittel ist ein Spickzettel im Umfang von zwei DIN A4 Seiten, den sich die Teilnehmer selbst zusammenstellen können.

Zu Beginn des kommenden Sommersemesters wird eine Wiederholungsprüfung (Nachklausur, 90 Minuten) angeboten. Zugelassenes Hilfsmittel ist ein Spickzettel im Umfang von zwei DIN A4 Seiten.

Stellung im Studienplan

BSc Computerlinguistik:Pflicht
BA Language Science:WP 2 Basismodul B (Wahlpflicht)

Impressum | Haftungsausschluss | Datenschutz