TUD Logo

TUD Home » ... » Chair of Algebraic and Logical Foundations of Computer Science » Teaching » Winter Term 2009/10

Chair of Algebraic and Logical Foundations of Computer Science

against racism

Lectures and other courses in winter term 2009/10

deutsch Grundlagen der Theoretischen Informatik II

Lecture, Prof. Dr. Baier

SWS: 2/1/0

english Model Checking

Lecture, Prof. Dr. Baier

SWS: 4/2/0

english Selected topics in logic and complexity

Seminar, Prof. Dr. Baier, Dr. Groesser

SWS: 0/2/0

english Logic Programming Engineering

Practical Course, Dr. Walter Nauber

SWS: 0/0/2

deutsch Prolog-Programmierung

Lecture and Practical Course, Dr. Walter Nauber

SWS: 1/0/1

deutsch Interactive Theorem Proving

Lecture, Dr. habil. Michael Posegga

SWS: 4/1/1

deutsch Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: -/-/4

english Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4
Last modified: 16th Jun 2011, 3.04 PM
Author: Dr.-Ing. Frank Ciesinski