Lectures Summer Term 2009

Advanced Logics

Prof. Dr. Baier

SWS: 4/2/0

Grundlagen der Theoretischen Informatik I

Prof. Dr. Baier

SWS: 2/1/0

Semantics of Dependent Type Theory

Dr. Posegga

SWS: 2/2/0

Einführung in die Theoretische Informatik

für Wirtschaftsinformatiker und Informatik-Lehramt

Dr. Posegga

SWS: 3/1/0

Entwurf und Analyse mit Petri-Netzen

Dr. Nauber

SWS: 2/2/0

Other Courses Summer Term 2009

Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4

Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: -/-/4