TUD Logo

TUD Startseite » ... » Algebraische und logische Grundlagen der Informatik » Lehre » Wintersemester 2017/18

Algebraische und logische Grundlagen der Informatik

Lehrveranstaltungen Wintersemester 2017/2018

Vorlesung „Model Checking“

Prof. Dr. Baier und Dr. Klüppelholz

SWS: (4/4/0)

Tutorial „Logic Programming Engineering“

Dr. Klüppelholz

SWS: (0/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)

Projektgruppe „Model Checking“

Prof. Dr. Baier

SWS: (0/0/4)

Laborkurs „Modeling and Automated Verification“

Prof. Dr. Baier

SWS: (0/2/0)

Forschungsprojekt „Formale Methoden“

Prof. Dr. Baier

SWS: (0/0/8)

Stand: 17.11.2017, 10:11 Uhr
Autor: Dipl.-Inf. Steffen Märcker