The dates and events shown here are dynamically displayed from Stud.IP.

Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturersdirectly.

Event

Semester: Winter term 2017

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


Event date(s) | room

Description

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

Study fields

  • Studium generale / Gasthörstudium

SWS
2

Lehrsprache
deutsch

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

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page