Lehrveranstaltungen Sommersemester 2010

Advanced Logics

Vorlesung, Prof. Dr. Baier

SWS: 4/2/0

Model Checking II

Vorlesung, Dr. Groesser

SWS: 2/0/0

Symbolic and Compositional Verification

Seminar, Prof. Dr. Baier, Dr. Groesser

SWS: 0/2/0

Entwurf und Analyse mit Petri-Netzen

Vorlesung, Dr. Walter Nauber

SWS: 2/0/2

Semantics of Dependent Type Theory

Vorlesung, Dr. habil. Michael Posegga

SWS: 2/2/0

Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: -/-/4

Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4

Für Wirtschaftsinformatiker und Informatik-Lehramt

Einführung in die Theoretische Informatik

Vorlesung, Dr. habil. Michael Posegga

SWS: 3/1/0