このコースについて

共有できる証明書

修了時に証明書を取得

100%オンライン

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

柔軟性のある期限

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

上級レベル

約3時間で修了

英語

字幕:英語

共有できる証明書

修了時に証明書を取得

100%オンライン

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

柔軟性のある期限

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

上級レベル

約3時間で修了

英語

字幕:英語

提供:

EIT Digital  ロゴ

EIT Digital

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

1

1

2時間で修了

Basic modal formulas

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

2

1時間で修了

Advanced modal formulas

1時間で修了
5件のビデオ (合計59分), 1 reading, 1 quiz
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 formulas12 分

よくある質問

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

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

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