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