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).

 

Übungen

Blatt 1          Blatt 2         Blatt 3    

Blatt 4          Blatt 5         Blatt 6      

Blatt 7          Blatt 8          Blatt 9       

Blatt 10       Blatt 11       Blatt 12       

Aufgaben zum Üben

Vorlesungszeiten

Montag, 12:00-14:00 Uhr, O28/H22,
Donnerstag, 14:00-16:00 Uhr, O28/H22

Tutorien

Es werden 10 Tutorien angeboten:

Termine und Einteilung

Weitere Informationen

LSF-Eintrag

Die erste Vorlesung findet am 16.10. statt.