Veranstaltung
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
- 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
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.
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