Teaching activities Frank Heitmann
|
|
|
|
Teaching activities
- Lectures
-
WiSe 2010/11 Algorithms and Data Structures - Projects
-
SoSe 2009 Specification and Analysis of Distributed Systems (Modul IP13) - Seminars
-
SoSe 2011 Complexity: Logics, Automata, and Games (Modul IP12 / SSE-IP16) - Exercise classes
-
WiSe 2010/11 Algorithms and Data Structures (AD) (German only) SoSe 2010 Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only) WiSe 2009/10 Algorithms and Data Structures (AD) (German only) WiSe 2008/09 Algorithms and Data Structures (AD) (German only) SoSe 2008 Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only) - Tutorials
-
SoSe 2010 Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability WiSe 2008/09 Algorithms and Data Structures (AD) - Other
-
WiSe 2009/10 Math Preparation Course for Students of Computing in Science (CiS)
