Semester: Wintersemester 2017/2018

4.03.232 Syntax und Semantik der Aussagen- und Prädikaten-Logik erster Stufe


Veranstaltungstermin

  • Montag: 12:00 - 14:00, wöchentlich

Beschreibung

Dieser Kurs zielt darauf ab, den Studierenden das formale Instrumentarium der elementaren Logik zur Verfügung zur stellen. Unter „elementarer Logik“ versteht man: die Aussagen- und die Prädikatenlogik erster Stufe. Im Seminar werden die Syntax und die Semantik der Aussagen- und Prädikatenlogik erster Stufe präzise erklärt. Der Kurs ist folgendermaßen aufgebaut:
i) Aussagenlogik: Formale Sprache, Wahrheit und logische Folgerung, Korrektheit, Vollständigkeit
ii) Prädikatenlogik: Formale Sprache, Tarski-Semantik für die prädikatenlogische Sprache, Korrektheit, Vollständigkeit (Idee des Beweises)
iii) Kalkül des natürlichen Schließens für die Aussagen- und Prädikatenlogik erster Stufe

Skripte werden im STUDIP bereitgestellt.

DozentIn

Studienbereiche

  • Studium generale / Gasthörstudium

Für Gasthörende / Studium generale geöffnet:
Ja

Lehrsprache
deutsch

empfohlenes Fachsemester
--