Formale Grundlagen der Informatik
Aktuelles
[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.
Inhalt
Boole'sche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten
Literatur
- 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)
Infos zur Vorlesung
Weitere Informationen zur Vorlesung finden Sie im .
Tutorien
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 möglich sein.
Dozent
Vorlesungszeiten
Montag 14-16 Uhr
im Hörsaal Chirurgie (2 0100)
Donnerstag 14-16 Uhr
im Hörsaal Innere Medizin (O23/2619)
Der erste Vorlesungstermin ist am Donnerstag, 16.10.2014.
³¢³§¹ó-·¡¾±²Ô³Ù°ùä²µ±ð