TUD Logo

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

Chair of Algebraic and Logical Foundations of Computer Science

against racism

Lectures and Courses Winterterm 2011/12

deutsch Formale Systeme

Vorlesung, Prof. Dr. Baier

SWS: 4/2/-

english Interactive Theorem Proving

Lecture, Dr. habil. Michael Posegga

SWS: 4/2/-

deutsch Prolog Programierung

Lecture and exercise course, Dr. Nauber

SWS: 1/1/-

english Selected topics in Logic and Complexity

Seminar, Prof. Dr. Baier, Dr. Ciesinski, Mr. Dubslaff

SWS: 0/2/0

deutsch Komplexpraktikum Model Checking

Komplexpraktikum, Prof. Dr. Baier

SWS: -/-/4

english Project Group Model Checking

Project Group, Prof. Dr. Baier

SWS: -/-/4

english Lab Course Modeling and Automated Verification

Lab Course, Prof. Dr. Baier

SWS: -/-/4

Last modified: 12th Oct 2011, 1.31 PM
Author: Dr.-Ing. Frank Ciesinski