TUD Logo

TUD Startseite » ... » Algebraische und logische Grundlagen der Informatik » Lehre » Sommersemester 2010

Algebraische und logische Grundlagen der Informatik

against racism

Lehrveranstaltungen Sommersemester 2010

englisch Advanced Logics

Vorlesung, Prof. Dr. Baier

SWS: 4/2/0

english Model Checking II

Vorlesung, Dr. Groesser

SWS: 2/0/0

english Symbolic and Compositional Verification

Seminar, Prof. Dr. Baier, Dr. Groesser

SWS: 0/2/0

deutsch Entwurf und Analyse mit Petri-Netzen

Vorlesung, Dr. Walter Nauber

SWS: 2/0/2

englisch Semantics of Dependent Type Theory

Vorlesung, Dr. habil. Michael Posegga

SWS: 2/2/0

deutsch Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: -/-/4

english Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4

Für Wirtschaftsinformatiker und Informatik-Lehramt

deutsch Einführung in die Theoretische Informatik

Vorlesung, Dr. habil. Michael Posegga

SWS: 3/1/0

Stand: 15.4.2010, 11:32 Uhr
Autor: Dr.-Ing. Frank Ciesinski