TUD Logo

TUD Home » ... » Chair of Algebraic and Logical Foundations of Computer Science » Teaching » Summer Term 2008

Chair of Algebraic and Logical Foundations of Computer Science

against racism

Lectures Summer Term 2008

english Advanced Logics

Prof. Dr. Baier

SWS: 4/2/0

english Semantics of Dependent Type Theory

Dr. Posegga

SWS: 2/2/0

english Project Group Modelchecking

Prof. Dr. Baier

SWS: 0/0/4

deutsch Berechenbare Funktionen und Daten

Dr. Posegga

SWS: 2/2/0

deutsch Entwurf und Analyse mit Petri-Netzen

Dr. Nauber

SWS: 2/0/2

deutsch Proseminar Algorithmen

Prof. Dr. Baier, Dr. Nauber

SWS: 0/0/2

deutsch Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: 0/0/4
Last modified: 1st Feb 2010, 2.26 PM
Author: Dipl.-Inform. Tobias Blechmann