Formale Grundlagen der Informatik
Aktuelles
[18.04.2016] Die Klausureinsicht für die 2. Klausur findet am 26.04.16 im Raum O27/531 von 9:45 bis 10:15 Uhr statt. Denken Sie daran Ihren Studierendenausweis mitzubringen.
[08.04.2016] Die zweite Klausur findet im H22 statt.
[02.04.2016] Die zweite Klausur findet am Montag, den 11.04.2016, um 18:00 Uhr statt. Die Prüfung dauert 100 Minuten. Als zusätzliches Hilfsmittel ist ein handschriftlich beschriebenes DIN-A4-Blatt zugelassen.
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
Infos zur Vorlesung
Weitere Informationen zur Vorlesung finden Sie im Rubikon.
Tutorien
Der Ablauf der Übungen wird in der ersten Vorlesung am Donnerstag, den 15.10.2015 vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Rubikon 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, 15.10.2015.