Vorlesung Logik II für Informatiker
Sommersemester 2004
Lehrbeauftragter:
Prof. Dr. Jürgen Dassow
Semester:
Grundstudium, 2. Semester
Wochenstunden:
2+1+0
Zuhörerkreis:
IF 03
Voraussetzungen:
Logik I für Informatiker
Inhalt:
Prüfungsergebnisse
Literatur:
Vorlesungsskript
Teil 4
Teil 5
Teil 6
U. Schöning: Logik für Informatiker. Spektrum Akademischer Verlag, 2000.
Folien:
Teil 5
Teil 6
Übungsblätter:
Übungsblatt 7
Übungsblatt 8
Übungsblatt 9
Übungsblatt 10
Übungsblatt 11
Übungsblatt 12
Informationen:
Stundenplan
laut
Univis
Webmaster