Automata and Logic

Automata and Logic

Course with SWS 4/2/0 (lecture/exercise/practical) in SS 2015

Lecturer

• Daniel Borchmann

Tutor

• Francesco Kriegel

SWS

• 4/2/0

Modules

• INF-B-520
• INF-BAS6
• INF-VERT6
• MCL-TCSL
• MCL-PI
• MCL-KR
• Theorie der Programmierung Fachgebiet Theorie der Programmierung
• Intelligente Systeme Fachgebiet Intelligente Systeme

Examination method

• Oral exam

• Information

An advanced course on the interplay between languages, algebraic structures, and logic. See http://lat.inf.tu-dresden.de/teaching/ss2015/AL/