Event
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 (Lecturers) directly.
Event
Semester:
Winter term
2017
4.03.232 Syntax und Semantik der Aussagen- und Prädikaten-Logik erster Stufe -
Event date(s) | room
- Montag, 16.10.2017 12:00 - 14:00 | A14 1-113
- Montag, 23.10.2017 12:00 - 14:00 | A14 1-113
- Montag, 6.11.2017 12:00 - 14:00 | A14 1-113
- Montag, 13.11.2017 12:00 - 14:00 | A14 1-113
- Montag, 20.11.2017 12:00 - 14:00 | A14 1-113
- Montag, 27.11.2017 12:00 - 14:00 | A14 1-113
- Montag, 4.12.2017 12:00 - 14:00 | A14 1-113
- Montag, 11.12.2017 12:00 - 14:00 | A14 1-113
- Montag, 18.12.2017 12:00 - 14:00 | A14 1-113
- Montag, 8.1.2018 12:00 - 14:00 | A14 1-113
- Montag, 15.1.2018 12:00 - 14:00 | A14 1-113
- Montag, 22.1.2018 12:00 - 14:00 | A14 1-113
- Montag, 29.1.2018 12:00 - 14:00 | A14 1-113
- Montag, 5.2.2018 12:00 - 19:00 | A14 1-113
- Montag, 26.2.2018 12:00 - 16:00 | A07 0-031
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.
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