TUD Logo

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

Chair of Algebraic and Logical Foundations of Computer Science

against racism

Lectures and Courses Summer Term 2012

german Theoretische Informatik und Logik

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

SWS: 4/2/0

english Advanced Logics

Lecture, Prof. Dr. Baier

SWS: 4/2/0

german Proseminar

Seminar, Prof. Dr. Baier, Sascha Klüppelholz, Clemens Dubslaff

SWS: 0/2/0

german Hauptseminar

Seminar, Prof. Dr. Baier, Sascha Klüppelholz, Clemens Dubslaff

SWS: 0/2/0

german Komplexpraktikum Model Checking

Prof. Dr. Baier

SWS: selectively 0/0/4 or 0/0/8

english Project Group Model Checking

Prof. Dr. Baier

SWS: 0/0/4

english Lab Course Modeling and Automated Verification

Prof. Dr. Baier

SWS: 0/0/4

Last modified: 8th Mar 2012, 11.03 AM
Author: Webmaster