direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Algebraische Prozesskalküle
Parameter
Wert
Niveau
Master, Wahlpflicht in 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

Moses / MTS

Donnerstag, 16. Oktober 2014

Die aktuelle Modulbeschreibung enthält alle weiteren Details, unter anderem zur Ausgestaltung der Portfolioprüfung gemäß AllgStuPO 2014.

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 Beipielen, die durch die Teilnehmer in eigenen Vorträgen erarbeitet werden.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe