Courses in Winter Term 2006/07

Course Title	Lecturer	SWS l/t/s	Credits	Modules	Exam	Status
The Algebraic Path Problem (SDS)	Prof. Vogler	4/2/0	9	SDS	oral	advanced
Combinatorics and Analysis of Algorithms	Prof. Vogler	2/0/0	3	LCP	written	foundation
Complexity Theory	Dr. Lutz	1/1/0	3	F, TCSL	written	foundation
Computational Logic	Prof. Thielscher	0/0/2	0	none	none	none
Computational Logic Consultation Studienberatung Computational Logic	Prof. Hölldobler	0/0/2	0	none	none	none
Foundations of Constraint Programming	Prof. Thielscher	1/1/0	2	LCP	written	foundation
Foundations of Logic Programming	Prof. Thielscher	2/1/0	4	LCP	written	foundation
General Game Playing	Prof. Thielscher	1/1/2	6	KRAI	oral	advanced
Interactive Theorem Proving	Dr. Posegga	4/1/1	9	IT, KRAI, SV	written	advanced
Knowledge Representation and Reasoning	Prof. Hölldobler	0/0/2	0	none	none	none
Logic	Prof. Hölldobler	2/2/0	6	F	written	foundation
LP Engineering	Dr. Nauber	0/0/2	3	LCP	written/project	foundation
Natural Language Processing	Prof. Vogler	0/2/0	3	SDS	oral	advanced
Science of CL	Prof. Thielscher	2/2/0	6	F	written	foundation
Term Rewriting Systems	Prof. Baader	4/2/0	9	TCSL	oral	advanced
Theoretical Computer Science	Prof. Baader	0/0/2	3	IT, TCSL	talk	advanced

Last update: Tue, 6 Mar 2007 10:04:15