Formale Grundlagen der Informatik
Inhalt
Boolesche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten
Infos zur Vorlesung
Weitere Informationen zur Vorlesung gibt es im Rubikon-System.
Tutorien
| Mo. 10-12 Uhr | Katharina Krammer | O27/122 |
| Mo. 10-12 Uhr | David Mödinger | O27/2201 |
| Mo. 10-12 Uhr | Bernd Mertesz | O27/2202 |
| Di. 12-14 Uhr | Lisa Adams | O27/2201 |
| Di. 12-14 Uhr | Timo Beller | O27/2202 |
| Di. 14-16 Uhr | Mirco Lüdeke | O27/2201 |
| Mi. 10-12 Uhr | Thai Chung | O27/2201 |
| Mi. 10-12 Uhr | Markus Brenner | O27/121 |
| Mi. 16-18 Uhr | Urs Klingsporn | O27/2201 |
Die Einteilung der Tutorien sowie die jeweils aktuellen Übungsblätter gibt es im Rubikon-System.
Repetitorium: 10.-13.3 ab 9 Uhr im H20.
Dozent
Prof. Dr. Jacobo Torán
Vorlesungszeiten
Mo. 12-14 Uhr, H20
Do. 14-16 Uhr, H22
Beginn: 21.10.
Übungsleiter
Martin Bader,
Fabian Wagner