Reaktive Systeme (ReSyst)

Typ: Vorlesung + Übung/Tutorium
SWS: 4
Credit Points: 6
Homepage: mtv.tu-berlin.de

Kursbeschreibung / -kommentar

Das bisherige Modul TheGI4 (12/13 uns 13/14) nun ab 14/15 unter neuem Namen.

Teilnehmer_innen erlernen die Grundlagen der Prozessbeschreibungssprache CCS, der Temporallogik HML, und als Gimmick die Grundlagen der Fixpunkttheorie, die sowohl in CCS als auch HML zur praktischen Anwendung kommt. Dazu die Kompetenz, die Komplexität nebenläufiger Systeme begrifflich und methodisch zu begreifen sowie mit den ausgewählten Formalismen CCS und HML auf Modellebene zu analysieren.

Durchschnittsbewertung

Bewertungen:

0

Gesamt: Für diesen Kurs wurden noch nicht genügend Einzelbewertungen abgegeben. Aktuell sind 5 Bewertungen notwendig, bevor Durchschnittswerte berechnet werden. Siehe dazu auch den Eintrag in unseren FAQ.
Fairness:
Unterstützung:
Material:
Verständlichkeit:
Spaß:
Interesse:
Note/Aufwand:
Empfehlung: