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.
±Ê°ùü´Ú³Ü²Ô²µ
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 ±Ê°ùü´Ú³Ü²Ô²µstermine bietet die .
Tutorien
Der Übungsbetrieb wird noch bekannt gegeben. Die Anmeldung zu den Tutorien wird über das möglich sein.
Dozent
Vorlesungszeiten
Mittwoch, | 14:15-15:45 Uhr | im H4/5 |
Donnerstag, | 14:15-15:45 Uhr | im H3 |