|
![](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) |
Exercise: Automata and Logics (080020)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Übung, 2 SWS
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Do 14:30 - 16:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024)
vom 14.4.2024 bis zum 14.7.2024 Bemerkung zu Zeit und Ort: Please note: The exercise 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
- Zugeordnet zu: infAutLog-01a: Automata and Logics (080038)
|
|
![](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 |