课程信息

1,533 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为5 小时
英语(English)
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为5 小时
英语(English)

提供方

Placeholder

EIT 数字

教学大纲 - 您将从这门课程中学到什么

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分钟

常见问题

还有其他问题吗?请访问 学生帮助中心