Automata and Logic

Automata and Logic

Course with SWS 4/2/0 (lecture/exercise/practical) in WS 2018

Lecturer

• Anni-Yasmin Turhan

Tutor

• Francesco Kriegel

SWS

• 4/2/0

Modules

• INF-B-520
• INF-BAS6
• INF-VERT6
• MCL-TCSL
• MCL-PI
• MCL-KR

Examination method

• Oral exam

• Information

See https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/wintersemester-2018-2019/automata-and-logic