このコースについて

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

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

約13時間で修了
英語

提供:

Placeholder

EIT Digital

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

1

1

1時間で修了

CTL model checking

1時間で修了
5件のビデオ (合計44分)
2

2

1時間で修了

BDDs part 1

1時間で修了
4件のビデオ (合計33分)
3

3

2時間で修了

BDDs part 2

2時間で修了
4件のビデオ (合計35分)
4

4

9時間で修了

BDD based symbolic model checking

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

よくある質問

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