Vorlesung Logik II für Informatiker
Sommersemester 2006
Lehrbeauftragter:
Prof. Dr. Jürgen Dassow
Semester:
Grundstudium, 2. Semester
Wochenstunden:
2+1+0
Zuhörerkreis:
IF 05
Voraussetzungen:
Logik I für Informatiker
Prüfung:
Eine
Wiederholung der Prüfungsklausur
Logik findet am Donnerstag, dem 15. Februar 2007, um 13:00 Uhr im Hörsaal 1 im Gebäude 26 statt.
Ergebnisse
der Prüfungsklausur vom 1. August 2006
Inhalt:
Literatur:
J. Dassow:
Logik für Informatiker
. B.G. Teubner, Stuttgart, 2005.
Folien:
Teil 2
Teil 3
Übungsblätter:
Übungsblatt 7
Übungsblatt 8
Übungsblatt 9
Übungsblatt 10
Übungsblatt 11
Übungsblatt 12
Informationen:
Stundenplan
laut
Univis
Webmaster