Logik II – Theorie und Anwendungen

Wintersemester 2018/19

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
Einschreibung:	Informationen siehe unten.

Inhalt:

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

Literatur:

Martin Kreuzer, Stefan Kühling: Logik für Informatiker. Pearson Studium, München, 2006.
Weitere Literaturangaben in der Vorlesung.

Folien:

Auszug aus dem Buch, Kapitel 1 und 2
Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6, Teil 7, Teil 8, Teil 9, Teil 10, Teil 11, Teil 12.

Übungsuafgaben:

Blatt 1 (42. KW), Blatt 2 (44. KW), Blatt 3 (46. KW), Blatt 4 (46. KW), Blatt 5 (48. KW), Blatt 6 (50. KW), Blatt 7 (2. KW).

Aktuelle Informationen:

Der Zugang zu den Materialien ist zu den schon bekannten Bedingungen möglich.
Bei Fragen und Problemen wenden Sie sich bitte an mich.

Zur Lehreseite der Forschungsgruppe Theoretische Informatik