课程信息

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

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

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

提供方

EIT 数字  徽标

EIT 数字

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

1

1

完成时间为 1 小时

CTL model checking

完成时间为 1 小时
5 个视频 (总计 44 分钟)
5 个视频
Model Checking9分钟
Computation Tree Logic11分钟
Computation Tree Logic Algorithm10分钟
Computation Tree Logic Example7分钟
3 个练习
Size of state space10分钟
CTL equivalence10分钟
CTL example10分钟
2

2

完成时间为 1 小时

BDDs part 1

完成时间为 1 小时
4 个视频 (总计 33 分钟)
4 个视频
Decision Trees7分钟
Decision Trees 29分钟
BDDs8分钟
3 个练习
Decision tree10分钟
Reduced ordered decision tree10分钟
ROBDD10分钟
3

3

完成时间为 2 小时

BDDs part 2

完成时间为 2 小时
4 个视频 (总计 35 分钟)
4 个视频
BDD Examples11分钟
BDD Algorithm9分钟
BDD algorithm 26分钟
BDD Algorithm Example7分钟
3 个练习
BDD quiz 120分钟
BDD quiz 220分钟
BDD algorithm30分钟
4

4

完成时间为 9 小时

BDD based symbolic model checking

完成时间为 9 小时
4 个视频 (总计 39 分钟), 3 个阅读材料, 3 个测验
4 个视频
An example: foxes and rabbits8分钟
Deadlock checking in a network10分钟
Networks, BMC, conclusions10分钟
3 个阅读材料
NuSMV source of foxes and rabbits problem10分钟
Introduction10分钟
Explanation packet switching networks and file describing routing function1 小时 10 分
3 个练习
Problem 1: colored marbles1小时
Problem 2: reaching equal values2小时
Problem 3: deadlocks in packet switching networks4小时

常见问题

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

  • 您可在付款后两周内,或者在课程第一个班次开课后(对于已启动的课程)两周内,获得全额退款,以其中较晚者为准。获得课程证书后,您便无法再退款;即使您在两周的退款期内完成了课程,也是如此。请阅读我们完整的退款政策

  • 是的,Coursera 可以向无法承担学费的学生提供助学金。点击左侧‘注册’按钮下的‘助学金’链接即可申请助学金。您可以根据屏幕提示完成申请,申请获批后会收到通知。了解详情

  • 此课程不提供大学学分,但部分大学可能会选择接受课程证书作为学分。查看您的合作院校,了解详情。Coursera 上的在线学位Mastertrack™ 证书提供获得大学学分的机会。

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