このコースについて

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

提供:

Placeholder

EIT Digital

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

1

1

1時間で修了

Sequential behaviour

1時間で修了
7件のビデオ (合計59分)
7件のビデオ
Actions, multi-actions, alternative and sequential composition9 分
Process axioms11 分
Recursive process specifications8 分
Processes and actions with data; the conditional operator7 分
The sum operator8 分
The alarm clock revisited11 分
1の練習問題
Sequential behaviour30 分
2

2

2時間で修了

Data types

2時間で修了
8件のビデオ (合計103分)
8件のビデオ
Specification of Peano numbers11 分
Specification of efficient numbers16 分
Specification of lists8 分
Functions, sets and bags13 分
Structured types13 分
Quantifiers9 分
Knuth's dancing links18 分
1の練習問題
Data Types30 分
3

3

1時間で修了

Parallel behaviour

1時間で修了
3件のビデオ (合計37分)
3件のビデオ
The hiding operator7 分
Peterson's mutual exclusion algorithm16 分
1の練習問題
Parallel Behaviour30 分

よくある質問

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