Formale Grundlagen der Informatik

Boolesche Funktionen und Schaltkreise, Binäre Relationen,

Informations- und Codierungstheorie, Grammatiken und Automaten.

Die erste Vorlesung findet am Donnerstag 18.10.2007 statt;
die ersten Übungen beginnen ab dem 23.10.2007.

Lösungen der Klausur vom 29.02.2008.

Die korrigierten Prüfungsergebnisse gibt es hier: korrigierte Ergebnisse

Die Ergebnisse der Klausur vom 31.03.2008.

Die Einsicht der Klausur findet am 16.04.2008 von 13-15 Uhr in O27/531 statt.

• Skript Graphentheorie

• Übungsblatt 0
• Übungsblatt 1
• Übungsblatt 2
• Übungsblatt 3
• Übungsblatt 4
• Übungsblatt 5
• Übungsblatt 6
• Übungsblatt 7
• Übungsblatt 8 (korrigierte Version 11.12.2007)
• Übungsblatt 9
• Übungsblatt 10
• Übungsblatt 11
• Übungsblatt 12
• Übungsblatt 13