Über diesen Kurs

1,884 kürzliche Aufrufe
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Stufe „Fortgeschritten“
Ca. 4 Stunden zum Abschließen
Englisch
Untertitel: Englisch
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Stufe „Fortgeschritten“
Ca. 4 Stunden zum Abschließen
Englisch
Untertitel: Englisch

von

Placeholder

EIT Digital

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1

Woche 1

2 Stunden zum Abschließen

Basic modal formulas

2 Stunden zum Abschließen
6 Videos (Gesamt 78 min), 2 Lektüren, 1 Quiz
6 Videos
Hennessy-Milner logic11m
Identities for HM-logic11m
Dualities6m
Fixed point operators18m
Regular formulas26m
2 Lektüren
Book exercises10m
Book exercises20m
1 praktische Übung
Basic Modal Formulas30m
Woche
2

Woche 2

2 Stunden zum Abschließen

Advanced modal formulas

2 Stunden zum Abschließen
5 Videos (Gesamt 59 min), 1 Lektüre, 1 Quiz
5 Videos
Alternating fixed points11m
Peterson's algorithm revisited10m
Translation to a Boolean Equation System (BES)12m
Solving a Boolean Equation System11m
1 Lektüre
Book exercises10m
1 praktische Übung
Advanced modal formulas30m

Häufig gestellte Fragen

Haben Sie weitere Fragen? Besuchen Sie das Hilfe-Center für Teiln..