このコースについて

1,546 最近の表示

100%オンライン

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

柔軟性のある期限

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

中級レベル

Basic logic and programming on a bachelor level.

約13時間で修了

英語

字幕:英語

100%オンライン

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

柔軟性のある期限

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

中級レベル

Basic logic and programming on a bachelor level.

約13時間で修了

英語

字幕:英語

提供:

EIT Digital  ロゴ

EIT Digital

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

1

1

1時間で修了

CTL model checking

1時間で修了
5件のビデオ (合計44分)
5件のビデオ
Model Checking9 分
Computation Tree Logic11 分
Computation Tree Logic Algorithm10 分
Computation Tree Logic Example7 分
3の練習問題
Size of state space10 分
CTL equivalence10 分
CTL example10 分
2

2

1時間で修了

BDDs part 1

1時間で修了
4件のビデオ (合計33分)
4件のビデオ
Decision Trees7 分
Decision Trees 29 分
BDDs8 分
3の練習問題
Decision tree10 分
Reduced ordered decision tree10 分
ROBDD10 分
3

3

2時間で修了

BDDs part 2

2時間で修了
4件のビデオ (合計35分)
4件のビデオ
BDD Algorithm9 分
BDD algorithm 26 分
BDD Algorithm Example7 分
3の練習問題
BDD quiz 120 分
BDD quiz 220 分
BDD algorithm30 分
4

4

9時間で修了

BDD based symbolic model checking

9時間で修了
4件のビデオ (合計39分), 3 readings, 3 quizzes
4件のビデオ
An example: foxes and rabbits8 分
Deadlock checking in a network10 分
Networks, BMC, conclusions10 分
3件の学習用教材
NuSMV source of foxes and rabbits problem10 分
Introduction10 分
Explanation packet switching networks and file describing routing function1 時間 10 分
3の練習問題
Problem 1: colored marbles1 時間
Problem 2: reaching equal values2 時間
Problem 3: deadlocks in packet switching networks4 時間

よくある質問

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

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

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