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
Modul "Angewandte Logik" im SS12
Dozent:
Prof. Dr. Thomas Wilke
Dieses Modul ist für dieses Semester in folgenden Masterprogrammen eingeplant:
Programmiersprachen und Programmiersysteme (Beginn : WS11/12)
Algorithmen und Komplexität (Beginn : WS11/12)
Programmierung verteilter Systeme (Beginn : WS11/12)
Modellbasierter Entwurf (Beginn : SS12)
Funktionale Programmierung (Beginn : WS11/12)
Algorithmen und Komplexität (Beginn : SS12)