About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Winter Term 2011/12  -  Selected Topics in Logic and Complexity

Course title:  Selected Topics in Logic and Complexity

Lecturer:   Prof. Christel Baier

Module:  MCL-MV, MCL-PCS

Status:  advanced unit

SWS (lecture/tutorial/practical):  0/2/0

Examination method:  to be announced

Prerequisites:

• solid foundations in algorithms and data structures, in automata theory and formal languages, in complexity theory
• basic mathematical foundations
• successful completion of the lecture Advanced Logics

Course description:

We study selected problems in logic and complexity, amongst them

• Tarski Algebra
• Presburger arithmetic
• Arithmetical hierarchy
• Polynomial hierarchy
• IP = PSPACE
• Post correspondence problem

Additional information:

• the course web page