课程信息

3,424 次近期查看
可灵活调整截止日期
根据您的日程表重置截止日期。
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
中级

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

完成时间大约为13 小时
英语(English)

提供方

Placeholder

EIT 数字

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

1

1

完成时间为 1 小时

CTL model checking

完成时间为 1 小时
5 个视频 (总计 44 分钟)
2

2

完成时间为 1 小时

BDDs part 1

完成时间为 1 小时
4 个视频 (总计 33 分钟)
3

3

完成时间为 2 小时

BDDs part 2

完成时间为 2 小时
4 个视频 (总计 35 分钟)
4

4

完成时间为 9 小时

BDD based symbolic model checking

完成时间为 9 小时
4 个视频 (总计 39 分钟), 3 个阅读材料, 3 个测验

常见问题

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