Lehrveranstaltungen im SS09
Grundstudium und Bachelor
- Algorithmen und Datenstrukturen, 3-std., Hofmann; Übungen 2-std., Abel, Axelsson
- Logik für Informatiker, 3-std., Lange; Übungen 2-std., Lange
- Seminar zu ausgewählten Themen der Informatik, 2-std., Hofmann, Abel, Beringer, Loidl
- Theoretische Informatik für Medieninformatiker, 2-std., Johannsen
Hauptstudium
- Vorlesung Kodierungstheorie, 3-std., Hofmann, Aehlig; Übungen 2-std., Aehlig
- Vorlesung Funktionale Programmierung, 2-std., Abel, Loidl; Übungen 2-std., Abel, Loidl
- Vorlesung Verlässliche Systeme, 2-std., Ruess
- Hauptseminar Beschreibungslogik, 2-std., Hofmann, Leiß
Lehramt
- Informatiksysteme aus fachdidaktischer Sicht / Projektmanagement im Informatikunterricht, 2-std., Hofmann, Brichzin, Hölzel; Übungen, 2-std., Brichzin, Hölzel
Sonstige
- Oberseminar Theoretische Informatik, 2-std., Hofmann
- Arbeitsgemeinschaft Komplexität und Programmiersprachen, 2-std., Hofmann
Artikelaktionen