Formale Grundlagen der Informatik

[13.04.2015] Die zweite Klausur findet am 14.04.2015 um 18:00 Uhr in H4/5 statt. Bitte vergessen Sie nicht, Ihren Studierendenausweis zur Klausur mitzubringen.

Die Klausureinsicht findet am 22.04.2015 in O27/531 von 10 bis 10.30 Uhr statt. Bitte vergessen Sie nicht, Ihren Studierendenausweis zur Klausureinsicht mitzubringen.

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

• Vorlesungsskript (wird in der Vorlesung ausgeteilt)
• Schöning/Kestler Mathe-Toolbox, lehmanns media
• Folien (Notation)
• Folien (Boolesche Funktionen)
• Folien (Codes)
• Folien (Binäre Relationen und Graphen)
• Folien (Formale Sprachen)

Weitere Informationen zur Vorlesung finden Sie im Rubikon.

Der Ablauf der Übungen wird in der ersten Vorlesung am Donnerstag, den 16.10.2014 vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Rubikon möglich sein.