このコースについて

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

提供:

Placeholder

EIT Digital

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

1

1

2時間で修了

Basic modal formulas

2時間で修了
6件のビデオ (合計78分), 2 学習用教材, 1 個のテスト
6件のビデオ
Hennessy-Milner logic11 分
Identities for HM-logic11 分
Dualities6 分
Fixed point operators18 分
Regular formulas26 分
2件の学習用教材
Book exercises10 分
Book exercises20 分
1の練習問題
Basic Modal Formulas30 分
2

2

2時間で修了

Advanced modal formulas

2時間で修了
5件のビデオ (合計59分), 1 学習用教材, 1 個のテスト
5件のビデオ
Alternating fixed points11 分
Peterson's algorithm revisited10 分
Translation to a Boolean Equation System (BES)12 分
Solving a Boolean Equation System11 分
1件の学習用教材
Book exercises10 分
1の練習問題
Advanced modal formulas30 分

よくある質問

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