Lehrveranstaltungen
Sommersemester 2010
Grundstudium und Bachelor
- Lehrveranstaltung Theoretische Informatik für Medieninformatiker
3-std., Di 14-17, Johannsen -
Seminar Verteilte Algorithmen2-std., Blockseminar, Hofmann, Abel, Schöpp
Hauptstudium
- Vorlesung Automatentheorie
4-std., Di 12-14, Do 12-14, Hofmann; Übungen 2-std., Hofmann
- Vorlesung Semantik von Programmiersprachen
4-std., Mo 12-14, Mi 10-12, Abel, Schöpp; Übungen 2-std., Abel, Schöpp
- Hauptseminar Aufbau und Anwendung multilingualer Grammatiken im "Grammatical Framework"
2-std., Do 10-12, Leiß, Hofmann
Lehramt
- Projektmanagement im Informatikunterricht
2-std., Do 14-16, Hofmann, Brichzin, Hüller
Sonstige
- Oberseminar Theoretische Informatik
2-std., Fr 14-16, Hofmann
- Arbeitsgemeinschaft Komplexität und Programmiersprachen
2-std., Hofmann
