|
![](https://univis.uni-kiel.de/img/anew/void.gif) |
|
![](https://univis.uni-kiel.de/img/anew/void.gif) |
|
|
![](https://univis.uni-kiel.de/img/anew/void.gif) |
infAutLog-01a: Automata and Logics (infAutLog-01a) (080038)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Di 8:15 - 9:45, LMS8 - R.EG.017 (40) (außer Di 23.4.2024, Di 14.5.2024); Do 12:15 - 14:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024)
vom 14.4.2024 bis zum 14.7.2024
Mündliche Prüfung: 17.7.2024, 8:00 - 18:00 Uhr, Raum CAP4 - R.1011; 15.10.2024, 8:00 - 18:00 Uhr, Raum CAP4 - R.1011 Bemerkung zu Zeit und Ort: Please note: The lecture will take place on 23.05.24 in LS1-R. 21.
- Voraussetzungen / Organisatorisches
- Please find all the necessary information at Moodle .
Please register as usual via StudiDB .
Contact person for organisational or technical questions regarding this module is the first person named in the exercises.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 40
- Zugeordnete Lehrveranstaltungen
- UE: Exercise: Automata and Logics (080020)
-
Dozent/in: Prof. Dr. Thomas Wilke
Zeit und Ort: Do 14:30 - 16:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024); Bemerkung zu Zeit und Ort: Please note: The exercise will take place on 23.05.24 in LS1-R. 21.
|
|
![](https://univis.uni-kiel.de/img/anew/void.gif) |
![](https://univis.uni-kiel.de/img/anew/void.gif) |
UnivIS ist ein Produkt der Config eG, Röttenbach |