Automata and Logic

Automata and Logic

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2018

Dozent

• Anni-Yasmin Turhan

Tutor

• Francesco Kriegel

Umfang (SWS)

• 4/2/0

Module

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

Leistungskontrolle

• Mündliche Prüfung

• Information

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