このコースについて

5,130 最近の表示
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル
約11時間で修了
英語
字幕:英語
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル
約11時間で修了
英語
字幕:英語

提供:

EIT Digital  ロゴ

EIT Digital

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

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 分

よくある質問

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

  • 支払日から2週間後、または(開始直後のコースの場合は)コースの最初のセッションが開始されてから2週間後の、いずれかの遅い日付の期間までが全額の返金の対象となります。コースの修了証を取得した後は、2週間以内にコースを完了した場合でも返金することはできません。返金ポリシーをすべて表示します

  • はい。受講料の支払いが難しい受講生に、Coursera(コーセラ)は学資援助を提供しています。左側の[登録]ボタンの下にある[学資援助]のリンクをクリックして申請してください。申請書の入力を促すメッセージが表示され、承認されると通知が届きます。詳細

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