TUD Logo

TUD Startseite » ... » Theoretische Informatik » Algebraische und logische Grundlagen der Informatik » Lehre

Algebraische und logische Grundlagen der Informatik

Lehrveranstaltungen Sommersemester 2018

Vorlesung „Advanced Logics“

Prof. Dr. Baier

SWS: (4/2/0)

Proseminar „Theoretische Informatik“

Prof. Dr. Baier

SWS: (0/2/0)

Seminar „Selected Topics in Logic and Verification“

Prof. Dr. Baier

SWS: (0/2/0)

Doktorandenseminar „Advances in Probabilistic Model Checking“

Prof. Dr. Baier

SWS: (0/2/0)

Komplexpraktikum „Modellierung und quantitative Systemanalyse I“

Prof. Dr. Baier

SWS: (0/0/4)

Komplexpraktikum „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)

Forschungsproject „Formale Methoden“

Prof. Dr. Baier

SWS: (0/0/8)

Stand: 12.3.2018, 15:37 Uhr
Autor: Dipl.-Inf. Steffen Märcker

Kontakt
Prof. Dr.
Christel Baier

Tel.: +49 (0) 351 463-38548
Fax: +49 (0) 351 463-38348
E-Mail-Kontaktformular