课程信息

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

您将获得的技能

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

提供方

EIT 数字  徽标

EIT 数字

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

1

1

完成时间为 1 小时

Behavioural modelling

完成时间为 1 小时
5 个视频 (总计 27 分钟), 1 个阅读材料, 1 个测验
5 个视频
Welcome1分钟
An automaton as a model for behaviour6分钟
Non-deterministic behaviour8分钟
The definition of an automaton5分钟
The wolf, the goat and the cabbage5分钟
1 个阅读材料
Book exercises15分钟
1 个练习
Automata to model behaviour10分钟
2

2

完成时间为 1 小时

Basic behavioural equivalences

完成时间为 1 小时
6 个视频 (总计 42 分钟), 2 个阅读材料, 1 个测验
6 个视频
Strong bisimulation9分钟
Trace equivalence6分钟
The internal or τ -action.5分钟
Branching bisimulation8分钟
Rooted branching bisimulation6分钟
2 个阅读材料
Book exercises15分钟
Book exercises15分钟
1 个练习
Basic behavioural equivalences12分钟
3

3

完成时间为 1 小时

More behavioural equivalences

完成时间为 1 小时
7 个视频 (总计 47 分钟)
7 个视频
Divergence preserving branching bisimulation3分钟
Weak trace equivalence2分钟
Weak bisimulation4分钟
Language, failure, and completed trace equivalence10分钟
When to use which behavioural equivalence6分钟
Transition systems with data, time and probabilities5分钟
1 个练习
More behavioural equivalences.10分钟

审阅

来自SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES的热门评论

查看所有评论

常见问题

  • 讲座和作业的访问权限取决于您的注册类型。如果您以旁听模式参加课程,则可以免费查看大多数课程资料。要访问评分作业并获得证书,您需要在旁听期间或之后购买证书体验。如果看不到旁听选项:

    • 课程可能不提供旁听选项。您可以尝试免费试用,也可以申请助学金。
    • 课程可能会改为提供'完整课程,没有证书'。通过此选项,您可以查看所有课程材料、提交所要求的作业,以及获得最终成绩。这也意味着您将无法购买证书体验。
  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

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

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

  • Please look at the reading material of the introduction of this course (first week) and download the pdf on the Blended Master Programme Overview for more information.

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