Modul 64403 „Logik“

Umfang:
10 ECTS
Ort:
Online
Betreuende:

Dr. Kai Sauerwald
E-Mail: kai.sauerwald

Lydia Blümel
E-Mail: lydia.bluemel

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