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 |
Material | Formelsammlung |
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.