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
- Leblanc, H., W. Wisdom, Deductive Logic. Allyn and Bacon, 1976.
- Thomason, R., Symbolic Logic. Macmillan, 1970.
- Partee, B., A. ter Meulen, R.Wall, Mathematical Methods in Linguistics. Kluwer 1990.
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) |