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:
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
.
Übungsuafgaben:
Blatt 1
(43. KW),
Blatt 2
(45. KW),
Blatt 3
(47. KW),
Blatt 4
(49. KW),
Blatt 5
(50. KW),
Blatt 6
(2. KW),
Blatt 7
(4. KW).
Aktuelle Informationen:
Bei
Fragen und Problemen
wenden Sie sich bitte an mich.
Zur Homepage der Forschungsgruppe Theoretische Informatik
Webmaster