Lehrtätigkeiten Frank Heitmann
|
|
|
|
Lehrtätigkeiten
- Vorlesungen
-
WiSe 2010/11 Algorithmen und Datenstrukturen - Projekte
-
SoSe 2009 Spezifikation und Analyse verteilter Systeme (Modul IP13) - Seminare
-
SoSe 2011 Komplexität: Logik, Automaten und Spiele (Modul IP12 / SSE-IP16) - Übungen
-
WiSe 2010/11 Algorithmen und Datenstrukturen (AD) SoSe 2010 Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit WiSe 2009/10 Algorithmen und Datenstrukturen (AD) WiSe 2008/09 Algorithmen und Datenstrukturen (AD) SoSe 2008 Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit - Tutorien/Repetitorien
-
SoSe 2010 Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
- Tutorium für StudentinnenWiSe 2008/09 Algorithmen und Datenstrukturen (AD) - Repetitorium - Weiteres
-
WiSe 2009/10 Mathevorkurs für Studenten des Studienganges Computing in Science (CiS)
