TUD Logo

TUD Home » ... » Chair of Algebraic and Logical Foundations of Computer Science » Teaching » Summer Term 2010

Chair of Algebraic and Logical Foundations of Computer Science

against racism

Lectures and other courses in summer term 2010

englisch Advanced Logics

Lecture, Prof. Dr. Baier

SWS: 4/2/0

english Model Checking II

Lecture, Dr. Groesser

SWS: 2/0/0

english Symbolic and Compositional Verification

Seminar, Prof. Dr. Baier, Dr. Groesser

SWS: 0/2/0

deutsch Design and Analysis with Petri Nets

Lecture, Dr. Walter Nauber

SWS: 2/0/2
The lecture will be held in german but lecture notes and exercises will be also available in english

englisch Semantics of Dependent Type Theory

Lecture, 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

Lecture, Dr. habil. Michael Posegga

SWS: 3/1/0

Last modified: 15th Apr 2010, 11.33 AM
Author: Dr.-Ing. Frank Ciesinski