Lehrveranstaltungen
Wintersemester 2010/2011
Grundstudium und Bachelor
- Vorlesung Einführung in die Informatik: Programmierung und Softwareentwicklung
3-std., Mi 14-17, Abel, Schöpp
Hauptstudium und Master
- Vorlesung Komplexitätstheorie
3-std., Di 14-16, Do 16-18 Uhr, Johannsen; Übungen 1-std., Johannsen
- Vorlesung Rechnergestütztes Beweisen
3-std., Mo 14-17; Übungen 2-std., Mi 16-18; Abel, Jost, Schöpp
Lehramt
- Staatsexamensvorbereitung
neuer Termin: Do 10.00 - 11.30 Uhr
(auf Teilnehmerwunsch wg. zeitgleicher Ph-Veranstaltung statt wie bisher Do 14-15.30 ct)
Hofmann, Hüller, Jost
Sonstige
- Oberseminar Theoretische Informatik
2-std., Fr 14-16, Hofmann
