Logik II – Theorie und Anwendungen

Wintersemester 2017/18


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

Inhalt:

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

Literatur:

Information:



Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster