Deutschland » Berlin » TU Berlin » Informatik » Prof. Dr.-Ing. Nestmann » Reaktive Systeme (ReSyst)
Reaktive Systeme (ReSyst)
Typ: Vorlesung + Übung/Tutorium
SWS: 4
Credit Points: 6
Homepage: mtv.tu-berlin.de
Hilfe
Du möchtest diesen Kurs bewerten?
Klicke dazu auf »Kurs bewerten« im Menu.
Es werden keine Bewertungen angezeigt?
Die Bewertungen des Kurses befinden sich im Tab »Bewertungen«. Dieser wird nur angezeigt, wenn Du dich als Nutzer registriert hast und eingeloggt bist.
Die Bewertungen der einzelnen Kriterien fehlen?
Du kannst zwischen dem Kurskommentar und den Bewertungen der einzelnen Kriterien wechseln, indem Du auf »Einzelbewertungen einblenden« klickst.
Was bedeutet Kurs belegen?
Du wirst über alle neuen Bewertungen oder Foreneinträge des Kurses per E-Mail informiert.
Du möchtest mit anderen über den Kurs diskutieren?
Klicke dazu auf das Tab »Forum« und schreib einen Beitrag.
Noch Fragen?
Dann wirf einen Blick in unsere FAQ oder schicke uns eine Nachricht über unser Kontaktformular.
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: | |
Fairness: | |
Unterstützung: | |
Material: | |
Verständlichkeit: | |
Spaß: | |
Interesse: | |
Note/Aufwand: | |
Empfehlung: |
Neueste Einträge
Neueste Literaturempfehlung
Literatur wird bei Amazon gesucht ...