direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Algebraische Prozesskalküle
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.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe