このコースについて

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

提供:

Placeholder

EIT Digital

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

1

1

4時間で修了

Module 1: Computational Tree Logic

4時間で修了
6件のビデオ (合計61分), 3 学習用教材, 4 個のテスト
2

2

3時間で修了

Discrete Time Markov Chains

3時間で修了
5件のビデオ (合計49分), 2 学習用教材, 5 個のテスト
3

3

4時間で修了

Probabilistic Computational Tree Logic

4時間で修了
5件のビデオ (合計36分), 3 学習用教材, 6 個のテスト
4

4

4時間で修了

Continuous Time Markov Chains

4時間で修了
5件のビデオ (合計57分), 2 学習用教材, 6 個のテスト

よくある質問

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