Vorlesung Logik II für Informatiker

Sommersemester 2006

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