课程信息

可分享的证书

完成后获得证书

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

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

高级

完成时间大约为7 小时

建议:12 hours/week...

英语(English)

字幕:英语(English)

可分享的证书

完成后获得证书

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

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

高级

完成时间大约为7 小时

建议:12 hours/week...

英语(English)

字幕:英语(English)

提供方

EIT 数字  徽标

EIT 数字

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

1

1

完成时间为 2 小时

Basic modal formulas

完成时间为 2 小时
6 个视频 (总计 78 分钟), 2 个阅读材料, 1 个测验
6 个视频
Hennessy-Milner logic11分钟
Identities for HM-logic11分钟
Dualities6分钟
Fixed point operators18分钟
Regular formulas26分钟
2 个阅读材料
Book exercises10分钟
Book exercises20分钟
1 个练习
Basic Modal Formulas14分钟
2

2

完成时间为 1 小时

Advanced modal formulas

完成时间为 1 小时
5 个视频 (总计 59 分钟), 1 个阅读材料, 1 个测验
5 个视频
Alternating fixed points11分钟
Peterson's algorithm revisited10分钟
Translation to a Boolean Equation System (BES)12分钟
Solving a Boolean Equation System11分钟
1 个阅读材料
Book exercises10分钟
1 个练习
Advanced modal formulas12分钟

常见问题

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

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

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