Formale Grundlagen der Informatik

Inhalt

Boolesche Funktionen und Schaltkreise, Binäre Relationen,

Informations- und Codierungstheorie, Grammatiken und Automaten.

Infos zur Vorlesung

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.

Vorlesungszeiten

Montag 12:00-14:00 Uhr
Donnerstag 14:00-16:00 Uhr

jeweils im O28/H22

Übungsleiter

Henning Wunderlich

Tutorien

Es werden 6 Tutorien angeboten:

Die 12:00-14:00 Uhr im O27/123,

Die 16:00-18:00 Uhr im O27/123,

Mi 08:00-10:00 Uhr im O28/H21,

Fri 08:00-10:00 Uhr im O27/123,

Fri 08:00-10:00 Uhr im O27/2203,

Fri 12:00-14:00 Uhr im O27/2203

Weiter Informationen

LSF-Eintrag