MDB
Studiengänge
Masterprogramme
Modulsuche
Anmelden
...als Modulverwalter
...als Studierender
Gehe zu
Über die Moduldatenbank
Hauptseite der Moduldatenbank
Institut für Informatik
CAU Kiel
UnivIS
Unterstützt durch:
Curry (Programmiersprache)
Spicey (Web Framework)
Bootstrap (Style Sheets)
[English]
About
Modulinformationssystem Informatik
Cookie Information
×
This web site uses technical cookies for navigation, user inputs, and preferences.
Further privacy and data protection information
is available.
Modul "Automaten, Logiken, Spiele" im SS17
Dozent:
Prof. Dr. Thomas Wilke
Dieses Modul ist für dieses Semester in folgenden Masterprogrammen eingeplant:
Logik in der Informatik (Beginn : WS16/17)
Logik in der Informatik (Beginn : SS16)
Logik in der Informatik (Beginn : SS17)
Web Science (Beginn : SS17)
Cyber-Physical Systems (Beginn : SS17)