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.

Literatur

Vorlesungsskript (wird in der Vorlesung ausgeteilt)

Literatur

 Graphentheorie Ergänzung

Tutorien

TerminNameRaum
Mo. 10-12 UhrKatharina KrammerO27/122
Mo. 10-12 UhrDavid MödingerO27/2201
Mo. 10-12 UhrBernd MerteszO27/2202
Di. 12-14 UhrLisa AdamsO27/2201
Di. 12-14 UhrTimo BellerO27/2202
Di. 14-16 UhrMirco LüdekeO27/2201
Mi. 10-12 UhrThai ChungO27/2201
Mi. 10-12 UhrMarkus BrennerO27/121
Mi. 16-18 UhrUrs KlingspornO27/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

Weitere Informationen