Formale Grundlagen der Informatik
Inhalt
Boole'sche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten
Literatur
- Vorlesungsskript (wird in der ersten Vorlesung ausgeteilt)
- Mathe-Toolbox (wird ebenfalls kostenlos ausgegeben)
Aktuelles
Die Donnerstags-Vorlesung wurde verlegt und findet ab sofort im H3 statt.
Prüfung
Die Ergebnisse der zweiten Klausur sind im LSF verfügbar. Die Einsichtnahme in die Klausur ist am Freitag, den 19.4. von 11:00 bis 11:30 Uhr in O27/531 möglich.
Eine Übersicht über Prüfungstermine bietet die Prüfungsplanung der Informatik.
Tutorien
Der Übungsbetrieb wird noch bekannt gegeben. Die Anmeldung zu den Tutorien wird über das Rubikon möglich sein.
Dozent
Vorlesungszeiten
| Mittwoch, | 14:15-15:45 Uhr | im H4/5 |
| Donnerstag, | 14:15-15:45 Uhr | im H3 |