WiSe 1996/97 – WiSe 2001/02 (annually) | Introduction to Studies (OE) (German only) |
SoSe 1999 | Theoretical Foundations of Programming (TGP) (German only) |
WiSe 2007/08 – WiSe 2011/12 (annually) | Formal Foundations of Informatics (FGI 2): Modelling and Analysis of Parallel and Distributed Systems (German only) |
SoSe 2008 – SoSe 2011 (annually) | Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only) |
SoSe 2003 – SoSe 2005 (annually) | Formal Foundations of Informatics (F2): Automata and Formal Languages (German only) |
WiSe 2003/04 | Formal Foundations of Informatics (F1): Logic (German only) |
WiSe 2004/05 – WiSe 2005/06 (annually) | Formal Foundations of Informatics (F3): Computability and Complexity (German only) |
SoSe 2006 | Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only) |
WiSe 2006/07 – WiSe 2011/12 (annually) | Formal Foundations of Informatics (FGI 2): Modelling and Analysis of Parallel and Distributed Systems (German only) |
SoSe 2008 – SoSe 2012 (annually) | Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only) |
SoSe 2004 | Programming Language Concepts (German only) |
SoSe 2005 | Petri Nets (German only) |
SoSe 2006 | Petri Nets (German only) |
WiSe 2008/09 | The art of writing an exposé for a final thesis (German only) |
SoSe 2006 | Agents and Multi-Agent Systems (German only) |
SoSe 2007 | Agents and Multi-Agent Systems (German only) |
SoSe 2012 | Agents and Multi-Agent Systems (German only) |