Formale Grundlagen der Informatik

Inhalt

Boolesche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten

Infos zur Vorlesung

Die Wiederholungsklausur "Formale Grundlagen der Informatik" findet
am 14.04.2009 im H22 von 10:30 - 12:30 Uhr statt.

Die Klausuren "Formale Grundlagen der Informatik"
und "Theoretische Informatik"
finden am Dienstag, den 03.03.09, statt.
Sie beginnen um 12:00 Uhr.
"Formale Grundlagen der Informatik" endet um 14:00 Uhr (120 min).
"Theoretische Informatik I" endet um 12:40 Uhr (40 min).
"Theoretische Informatik II" endet um 14:20 Uhr (140 min).
"Theoretische Informatik I/II" endet um 15:00 Uhr (180 min).

Studenten, die "Theoretische Informatik" schreiben, begeben sich
in den H4/5.
Studenten, die "Formale Grundlagen der Informatik" schreiben,
begeben sich in folgende Hörsäle:

H4/5: A - J
H1 : K - R
H2 : S - Z

Für die Prüfung Formale Grundlagen der Informatik
(und alle Varianten Theoretische Informatik I,
Theoretische Informatik II) darf als Hilfsmittel
ein handgeschriebenes DIN-A4 Blatt benutzt werden.

Melden Sie sich bitte rechtzeitig zur Prüfung an.
Informationen zur Prüfung finden Sie etwa eine Woche
vor dem Prüfungstermin hier.

Die erste Vorlesung findet am Donnerstag, den 16.10.08 statt;
die ersten Übungen beginnen ab dem 27.10.08.

Aktuelle Informationen zur Vorlesung finden Sie im rubikon2-System

(http://rubikon2.informatik.uni-ulm.de).