TUD Logo

TUD Home » ... » Chair of Algebraic and Logical Foundations of Computer Science » Teaching » Winter Term 2015/16

Chair of Algebraic and Logical Foundations of Computer Science

Lectures and Courses Winter Term 2015-2016

Vorlesung “Model Checking”

Prof. Dr. Baier and Dr. Klüppelholz

SWS: (4/4/0)

Tutorial “Logic Programming Engineering”

Dr. Klüppelholz

SWS: (0/2/0)

Undergraduate Seminar “Theoretische Informatik”

Prof. Dr. Baier

SWS: (0/2/0)

Seminar “Selected Topics in Logic and Verification”

Prof. Dr. Baier

SWS: (0/2/0)

Doctoral Seminar „Advances in Probabilistic Model Checking“

Prof. Dr. Baier

SWS: (0/2/0)

Advanced Project “Modellierung und quantitative Systemanalyse I”

Prof. Dr. Baier

SWS: (0/0/4)

Advanced Project “Modellierung und quantitative Systemanalyse II”

Prof. Dr. Baier

SWS: (0/0/8)

Project Group “Model Checking”

Prof. Dr. Baier

SWS: (0/0/4)

Lab Course “Model Checking”

Prof. Dr. Baier

SWS: (0/2/0)

Profile Modules

Prof. Dr. Baier

Last modified: 30th Oct 2015, 3.31 PM
Author: Dipl.-Inf. Steffen Märcker