TUD Logo

TUD Home » ... » Theoretical Computer Science » Chair of Algebraic and Logical Foundations of Computer Science » Teaching

Chair of Algebraic and Logical Foundations of Computer Science

Lectures and Courses Summer Term 2017

Lecture “Advanced Logics”

Prof. Dr. Baier

SWS: (4/2/0)

Lecture „Binäre Entscheidungsgraphen“

Dr. Klüppelholz and Prof. Dr. Baier

SWS: (2/0/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 “Modeling and Automated Verification”

Prof. Dr. Baier

SWS: (0/2/0)

Profile Modules

Prof. Dr. Baier

SWS: (0/0/8)

Last modified: 10th Mar 2017, 1.57 PM
Author: Beatrix Pintér

Contact
Prof. Dr.
Christel Baier

Phone: +49 (0) 351 463-38548
Fax: +49 (0) 351 463-38348
e-mail contact form