Automata and Logic
Aus International Center for Computational Logic
Automata and Logic
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2015
Dozent
Tutor
Umfang (SWS)
- 4/2/0
Module
- 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
Leistungskontrolle
- Mündliche Prüfung
An advanced course on the interplay between languages, algebraic structures, and logic. See http://lat.inf.tu-dresden.de/teaching/ss2015/AL/
