Formale Grundlagen der Informatik

Inhalt

Boole'sche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten

Literatur

Der Ergänzungsabschnitt "Graphentheorie" zum Skript steht als Download zur Verfügung.

Aktuelles

Die Fachschaft Informatik wird zur Vorbereitung auf die Prüfung ein Repetitorium anbieten.

Prüfung

Die Ergebnisse der Wiederholungsklausur vom 11.4.2012 wurden im LSF erfasst; eventuelle Notenboni wurden bereits berücksichtigt. (Nur falls Sie Ihren Übungsschein bereits vor dem Wintersemester 2011/2012 erworben haben sollten, ist nicht auszuschließen, dass der Bonus noch nicht berücksichtigt wurde. Melden Sie sich in diesem Fall bitte beim Übungsleiter.)

Die Einsichtnahme in die Wiederholungsklausur ist am Freitag, dem 20.4.2012 von 10:00 bis 11:00 Uhr im Raum O27/531 möglich.

Eine Übersicht über Prüfungstermine bietet die Prüfungsplanung der Informatik

Aktuelles zu den Tutorien

Termin-/Raumänderungen:
In der letzten Vorlesungswoche (Besprechung von Übungsblatt 14) wird es folgende Änderungen bei den Tutoriumsterminen geben:

• Das Tutorium bei Johannes Gesell am Mittwoch, dem 15.2. wird verlegt in N24/254.
• Das Tutorium bei Patrick Scharpfenecker wird vom Mittwoch verschoben auf Donnerstag, den 16.2., 12:15 - 13:45 Uhr in O27/2202.

Tutorien

Die Tutorien finden zu folgenden Terminen statt. Die Anmeldung ist über Rubikon möglich.