Über diesen Kurs

4,823 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 „Mittel“
Ca. 18 Stunden zum Abschließen
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 „Mittel“
Ca. 18 Stunden zum Abschließen
Englisch

von

Placeholder

EIT Digital

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1

Woche 1

4 Stunden zum Abschließen

Module 1: Computational Tree Logic

4 Stunden zum Abschließen
6 Videos (Gesamt 61 min), 3 Lektüren, 4 Quiz
6 Videos
Introduction13m
Semantics of CTL13m
Model Checking CTL9m
The Until Operator12m
The Always Operator9m
3 Lektüren
Script 1 and 2.110m
Script 2.2 and 2.310m
Script 2.420m
4 praktische Übungen
Formulate for yourself30m
Test your understanding of CTL semantics30m
Check your understanding of CTL30m
Model checking eventually, always and until30m
Woche
2

Woche 2

3 Stunden zum Abschließen

Discrete Time Markov Chains

3 Stunden zum Abschließen
5 Videos (Gesamt 49 min), 2 Lektüren, 5 Quiz
5 Videos
Evolution in Time13m
Transient probabilities9m
State classification5m
Steady-state probabilities12m
2 Lektüren
Script 3.1 and 3.210m
Script 3.310m
5 praktische Übungen
Evolution of DTMCs30m
Compute transient probabilities10m
Classification of DTMC states True or False?30m
State classification30m
Steady-state computation30m
Woche
3

Woche 3

4 Stunden zum Abschließen

Probabilistic Computational Tree Logic

4 Stunden zum Abschließen
5 Videos (Gesamt 36 min), 3 Lektüren, 6 Quiz
5 Videos
Model checking and the Next operator7m
Time-bounded Until6m
Backwards computation4m
Unbounded Until8m
3 Lektüren
Script: 4.1 and 4.210m
Script: 4.3.1 and 4.3.225m
Script 4.3.310m
6 praktische Übungen
PCTL Syntax30m
Checking PCTL next30m
Test your understanding of PCTL Until30m
Checking time-bounded until16m
Checking unbounded until10m
Test your understanding of PCTL30m
Woche
4

Woche 4

4 Stunden zum Abschließen

Continuous Time Markov Chains

4 Stunden zum Abschließen
5 Videos (Gesamt 57 min), 2 Lektüren, 6 Quiz
5 Videos
Generator matrix11m
Steady-state probabilities11m
Triple Modular Redundancy11m
Uniformisation12m
2 Lektüren
Script: 5.1 and 5.220m
Script: 5.315m
6 praktische Übungen
Generator matrix30m
Test your understanding of CTMCs30m
Steady state probability in CTMCs10m
Identifying BSCCs12m
Test your understanding of Uniformisation30m
Uniformisation12m

Häufig gestellte Fragen

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