Logik II – Theorie und Anwendungen

Wintersemester 2019/20


Lehrbeauftragter: Dr. Bernd Reichel
Sprache: deutsch
Wochenstunden: 4h Vorlesung und Übung
Credits: 5
Zuhörerkreis: Bachelor CV, INF, IngIF, WIF
Voraussetzungen: Modul Logik
Prüfung/Schein: mündlich

Inhalt:

Zusammenfassung Aussagenlogik; Hornlogik, Prädikatenlogik, Gleichungslogik, Modallogik, Temporallogik, Programmlogik, weitere logische Systeme, Hilbert-Kalküle.

Literatur:

Folien:

Aktuelle Informationen:



Zur Homepage der Forschungsgruppe Theoretische Informatik

Webmaster