Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.

Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.

Veranstaltung

Semester: Wintersemester 2017

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


Veranstaltungstermin | Raum

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.

lecturer

Studienbereiche

  • Studium generale / Gasthörstudium

SWS
2

Lehrsprache
deutsch

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

(Stand: 19.01.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page