Inhalt des Dokuments
Parameter | Wert |
---|---|
Niveau | Master, Wahlpflicht in Computer Science (Informatik) |
Vorkenntnisse | Automatentheorie, Logik, Diskrete Strukturen |
LP | 6 |
Bestandteile | 4IV "Algebraic Process Calculi" |
Semester | Jedes SoSe |
Prüfungsform | Portfolioprüfung |
Details | Modulbeschreibung in Moses MTS |
Material | Formelsammlung Lehrbuch von Robin Milner |
SARS-CoV-2 (reloaded)
Samstag, 03. April 2021
Auch im akademischen Jahr 20/21 haben wir leider nicht genug Kapazitäten, um dieses Modul im Sommersemester anzubieten.
SARS-CoV-2
Montag, 20. April 2020
Nicht zuletzt aufgrund der Pandemie haben wir aktuell nicht genug Kapazitäten, um dieses Modul im akademischen Jahr 19/20 anzubieten.
Status
Dieses Modul ist als Klassiker auf lange Zeit als Kernkompetenz im Fachgebiet MTV vorhanden. Es wird bereits seit dem Jahre 2000 (für 5 Jahre an der EPFL in Lausanne, seit 2005 an der TU Berlin) weiterentwickelt. Der Fokus liegt auf der interaktiven Erarbeitung der benötigten Grundlagen, im Zusammenspiel mit darauf folgenden Anwendungs-orientierten Beispielen, die durch die Teilnehmer in eigenen Vorträgen erarbeitet werden.