課程信息

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

根據您的日程表重置截止日期。

中級

完成時間大約為14 小時

建議:sssssss...

英語(English)

字幕:英語(English)

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

根據您的日程表重置截止日期。

中級

完成時間大約為14 小時

建議:sssssss...

英語(English)

字幕:英語(English)

教學大綱 - 您將從這門課程中學到什麼

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 behaviour12分鐘
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 Types12分鐘
3

3

完成時間為 1 小時

Parallel behaviour

完成時間為 1 小時
3 個視頻 (總計 37 分鐘)
3 個視頻
The hiding operator7分鐘
Peterson's mutual exclusion algorithm16分鐘
1 個練習
Parallel Behaviour10分鐘

提供方

EIT 数字  徽標

EIT 数字

常見問題

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

還有其他問題嗎?請訪問 學生幫助中心