Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
lectures
exercises
seminars
training courses
proseminars
research seminars
SS 2013
WS 2012/2013
SS 2012
WS 2011/2012
SS 2011
WS 2010/2011
SS 2010
WS 2009/2010
SS 2009
WS 2008/2009
SS 2008
WS 2007/2008
SS 2007
WS 2006/2007
SS 2006
WS 2005/2006
SS 2005
WS 2004/2005
SS 2004
Before 2004
People
Publications
Student Projects
Research
Tools
Help
Courses SS 2006
lectures
Automatentheorie und Logik
Komplexitätstheorie
Model Checking
Perlen der Informatik
exercises
Übung zu Komplexitätstheorie
Übung zu Model Checking
training courses
Game Playing
Projekt Systementwicklung: Lego Mindstorms
(ehemals Programmierpraktikum)
proseminars
Vom Booleschen Verband zur Relationenalgebra - mit Anwendungen in der Spieltheorie
Information about older courses can be found on our
former server
.
Contact
Teaching
