Über diesen Kurs

3,276 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. 11 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 „Mittel“
Ca. 11 Stunden zum Abschließen
Englisch
Untertitel: Englisch

von

EIT Digital -Logo

EIT Digital

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1

Woche 1

3 Stunden zum Abschließen

Module 1: Computational Tree Logic

3 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 yourself6m
Test your understanding of CTL semantics14m
Check your understanding of CTL20m
Model checking eventually, always and until22m
Woche
2

Woche 2

2 Stunden zum Abschließen

Discrete Time Markov Chains

2 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 DTMCs6m
Compute transient probabilities10m
Classification of DTMC states True or False?14m
State classification16m
Steady-state computation12m
Woche
3

Woche 3

2 Stunden zum Abschließen

Probabilistic Computational Tree Logic

2 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 Syntax8m
Checking PCTL next4m
Test your understanding of PCTL Until6m
Checking time-bounded until16m
Checking unbounded until10m
Test your understanding of PCTL6m
Woche
4

Woche 4

2 Stunden zum Abschließen

Continuous Time Markov Chains

2 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 matrix6m
Test your understanding of CTMCs6m
Steady state probability in CTMCs10m
Identifying BSCCs12m
Test your understanding of Uniformisation6m
Uniformisation12m

Häufig gestellte Fragen

  • Der Zugang zu Vorlesungen und Aufgaben hängt von der Art Ihrer Anmeldung ab. Wenn Sie einen Kurs im Gastmodus belegen, können Sie die meisten Kursmaterialien kostenlos einsehen. Um auf benotete Aufgaben zuzugreifen und ein Zertifikat zu erhalten, müssen Sie während oder nach Ihrer Gastphase das Zertifikat erwerben. Wenn Sie die Gastoption nicht sehen:

    • Der Kurs bietet möglicherweise keine Gastoption an. Sie können stattdessen eine kostenlose Testversion ausprobieren oder finanzielle Unterstützung beantragen.
    • Der Kurs kann stattdessen "Vollständiger Kurs ohne Zertifikat" anbieten. Mit dieser Option können Sie alle Kursmaterialien einsehen, die erforderlichen Aufgaben einreichen und eine Endnote erhalten. Dies bedeutet auch, dass Sie kein Zertifikat erwerben können.
  • Wenn Sie ein Zertifikat erwerben, erhalten Sie Zugriff auf alle Kursmaterialien, einschließlich bewerteter Aufgaben. Nach Abschluss des Kurses wird Ihr elektronisches Zertifikat zu Ihrer Seite „Errungenschaften“ hinzugefügt – von dort können Sie Ihr Zertifikat ausdrucken oder es zu Ihrem LinkedIn Profil hinzufügen. Wenn Sie nur lesen und den Inhalt des Kurses anzeigen möchten, können Sie kostenlos als Gast an dem Kurs teilnehmen.

  • Sie haben bis zu zwei Wochen nach Ihrem Zahlungsdatum beziehungsweise bis zu zwei Wochen nach Beginn der ersten Kurseinheit (bei Kursen, die gerade gestartet sind) Anspruch auf eine volle Rückerstattung, je nachdem, was später eintritt. Nach dem Erwerb eines Kurszertifikats besteht kein Anrecht mehr auf Rückerstattung, auch dann nicht, wenn Sie den Kurs innerhalb des Zeitraums von zwei Wochen abgeschlossen haben. Lesen Sie unsere vollständige Rückerstattungsrichtlinie.

  • Ja, Coursera bietet Kursteilnehmern, die die Gebühr nicht bezahlen können, finanzielle Hilfe an. Sie beantragen diese Hilfe, indem Sie auf den entsprechenden Link links unter der Schaltfläche "Anmelden" klicken. Sie werden dazu aufgefordert, ein Antragsformular auszufüllen, und Sie werden benachrichtigt, wenn Ihr Antrag bewilligt wird. Mehr erfahren.

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