Lehrveranstaltungen Sommersemester 2013

Vorlesung „Theoretische Informatik und Logik“

Prof. Dr. Baier und Prof. Dr. Hölldobler

SWS: (4/2/0)

Vorlesung „Advanced Logics“

Prof. Dr. Baier

SWS: (4/2/0)

Proseminar „Ausgewählte Themen der Automatentheorie und Logik“

Prof. Dr. Baier und Dr. Klüppelholz

SWS: (0/2/0)

Seminar „Model Checking“

Prof. Dr. Baier und Dr. Klüppelholz

SWS: (0/2/0)

Komplexpraktikum „Model Checking“

Prof. Dr. Baier und Dr. Klüppelholz

SWS: (0/0/4) oder (0/0/8)

Projektgruppe „Model Checking“

Prof. Dr. Baier und Dr. Klüppelholz

SWS: (0/0/4)

Laborkurs „Modelling and Quantitative System Analysis“

Prof. Dr. Baier und Dr. Klüppelholz

SWS: (0/0/4)

Profilmodule

Prof. Dr. Baier