TUD Logo

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

Chair of Algebraic and Logical Foundations of Computer Science

against racism

Lectures and Courses Summer Term 2011

deutsch Theoretische Informatik und Logik

Vorlesung, Prof. Dr. Baier und Prof. Dr. Hölldobler

SWS: 4/2/0

englisch Advanced Logics

Vorlesung, Prof. Dr. Baier

SWS: 4/2/0

deutsch Einführung in die Theoretische Informatik (Lehramt und Wirtschaftswissenschaftler)

Lecture, Dr. habil. Michael Posegga

SWS: 4/2/0

english Category Theory for Computer Science

Lecture, Dr. habil. Michael Posegga

SWS: 4/0/0

english Selected topics in Model Checking

Seminar, Prof. Dr. Baier, Frank Ciesinski, Clemens Dubslaff

SWS: 0/2/0

deutsch Komplexpraktikum Model Checking

Prof. Dr. Baier

SWS: -/-/4

english Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4

english Lab Course Modeling and Automated Verification

Prof. Dr. Baier

SWS: 0/0/4

Last modified: 6th Apr 2011, 7.17 AM
Author: Dr.-Ing. Frank Ciesinski