Vorlesung Logik II
Sommersemester 2005
Lehrbeauftragter:
Prof. Dr. Jürgen Dassow
Semester:
Grundstudium, 2. Semester
Wochenstunden:
2+1+0
Zuhörerkreis:
IF 04
Voraussetzungen:
Logik I
Inhalt:
Literatur:
J. Dassow:
Logik für Informatiker
. B.G. Teubner, Stuttgart, 2005.
U. Schöning: Logik für Informatiker. Spektrum Akademischer Verlag, 2000.
Folien:
Teil 4
Teil 5
Teil 6
Übungsblätter:
Übungsblatt 7
Übungsblatt 8
Übungsblatt 9
Übungsblatt 10
Übungsblatt 11
Übungsblatt 12
Prüfungsergebnisse
hier
Informationen:
Neuer Raum für die Vorlesung ab dem 13.04.2005: G02-109
Die am Feiertag, 05.05.05 nicht stattgefundene Übung findet am 14.6.05 um 9 Uhr in 22B103 statt.
Stundenplan
laut
Univis
Webmaster