Automata and Logic (SS2015): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Francesco Kriegel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Automata and Logic |Research group=Automatentheorie |Lecturers=Daniel Borchmann; |Tutors=Francesco Kriegel; |Term=SS |Year=2015 |Module=IN…“) |
Daniel Borchmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 2: | Zeile 2: | ||
|Title=Automata and Logic | |Title=Automata and Logic | ||
|Research group=Automatentheorie | |Research group=Automatentheorie | ||
|Lecturers=Daniel Borchmann | |Lecturers=Daniel Borchmann | ||
|Tutors=Francesco Kriegel; | |Tutors=Francesco Kriegel; | ||
|Term=SS | |Term=SS | ||
|Year=2015 | |Year=2015 | ||
|Module= | |Module=INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, Fachgebiet Theorie der Programmierung, Fachgebiet Intelligente Systeme | ||
|SWSLecture=4 | |SWSLecture=4 | ||
|SWSExercise=2 | |SWSExercise=2 | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=mündliche Prüfung | |Exam type=mündliche Prüfung | ||
|Description=http://lat.inf.tu-dresden.de/teaching/ss2015/AL/ | |Description=An advanced course on the interplay between languages, algebraic structures, and logic. See http://lat.inf.tu-dresden.de/teaching/ss2015/AL/ | ||
}} | }} | ||
Aktuelle Version vom 29. September 2015, 08:25 Uhr
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/
