このコースについて

4,194 最近の表示

共有できる証明書

修了時に証明書を取得

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約22時間で修了

推奨:5 weeks of study, each with around 2.h hours work...

英語

字幕:英語

共有できる証明書

修了時に証明書を取得

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約22時間で修了

推奨:5 weeks of study, each with around 2.h hours work...

英語

字幕:英語

シラバス - 本コースの学習内容

1

1

3時間で修了

Module 1: Computational Tree Logic

3時間で修了
6件のビデオ (合計61分), 3 readings, 4 quizzes
6件のビデオ
Introduction13 分
Semantics of CTL13 分
Model Checking CTL9 分
The Until Operator12 分
The Always Operator9 分
3件の学習用教材
Script 1 and 2.110 分
Script 2.2 and 2.310 分
Script 2.420 分
4の練習問題
Formulate for yourself6 分
Test your understanding of CTL semantics14 分
Check your understanding of CTL20 分
Model checking eventually, always and until22 分
2

2

2時間で修了

Discrete Time Markov Chains

2時間で修了
5件のビデオ (合計49分), 2 readings, 5 quizzes
5件のビデオ
Evolution in Time13 分
Transient probabilities9 分
State classification5 分
Steady-state probabilities12 分
2件の学習用教材
Script 3.1 and 3.210 分
Script 3.310 分
5の練習問題
Evolution of DTMCs6 分
Compute transient probabilities10 分
Classification of DTMC states True or False?14 分
State classification16 分
Steady-state computation12 分
3

3

2時間で修了

Probabilistic Computational Tree Logic

2時間で修了
5件のビデオ (合計36分), 3 readings, 6 quizzes
5件のビデオ
Model checking and the Next operator7 分
Time-bounded Until6 分
Backwards computation4 分
Unbounded Until8 分
3件の学習用教材
Script: 4.1 and 4.210 分
Script: 4.3.1 and 4.3.225 分
Script 4.3.310 分
6の練習問題
PCTL Syntax8 分
Checking PCTL next4 分
Test your understanding of PCTL Until6 分
Checking time-bounded until16 分
Checking unbounded until10 分
Test your understanding of PCTL6 分
4

4

2時間で修了

Continuous Time Markov Chains

2時間で修了
5件のビデオ (合計57分), 2 readings, 6 quizzes
5件のビデオ
Generator matrix11 分
Steady-state probabilities11 分
Triple Modular Redundancy11 分
Uniformisation12 分
2件の学習用教材
Script: 5.1 and 5.220 分
Script: 5.315 分
6の練習問題
Generator matrix6 分
Test your understanding of CTMCs6 分
Steady state probability in CTMCs10 分
Identifying BSCCs12 分
Test your understanding of Uniformisation6 分
Uniformisation12 分

提供:

EIT Digital  ロゴ

EIT Digital

よくある質問

  • 修了証に登録すると、すべてのビデオ、テスト、およびプログラミング課題(該当する場合)にアクセスできます。ピアレビュー課題は、セッションが開始してからのみ、提出およびレビューできます。購入せずにコースを検討することを選択する場合、特定の課題にアクセスすることはできません。

  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。