Modul 64403 „Logik“
- Umfang:
- 10 ECTS
- Ort:
- Online
- Betreuende:
-
- Prof. Dr. Matthias Thimm
E-Mail: matthias.thimm
Dr. Kai Sauerwald
E-Mail: kai.sauerwaldLydia Blümel
E-Mail: lydia.bluemel - Prof. Dr. Matthias Thimm
- Modul 64403 in VU
Beschreibung:
Diese Modul gibt einen breiten Einstieg in die Logik. Es werden eine Reihe klassischer und nichtklassischer Logiken vorgestellt, deren formale Syntax und Semantik eingeführt, Modellierung mit diesen Logiken diskutiert und formale Eigenschaften analysiert. Insbesondere beschäftigt sich dieses Modul mit Grundlagen zu Aussagenlogik und der Prädikatenlogik erster Stufe, die beide eine vielfache Anwendung in Mathematik und Informatik haben.
03.08.2025