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

Courses in Summer Term 2015  -  Automata and Logic


Course title:   Automata and Logic

Lecturer:   Dr. Daniel Borchmann

Module:   MCL-AL, MCL-KR, MCL-PI, MCL-TCSL

Status:   advanced unit

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

Examination method:   to be announced

Prerequisites:

Course description:

This course considers finite automata that work on finite or infinite words and trees. The course concentrates on the connection between these automata and logics that play an important role in computer science, such as first-order logic, monadic second-order logic, and propositional dynamic logic; in particular, it will be shown how closure and decidability results for the automata can be used to obtain decidability results for these logics.

Additional information: