课程信息

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

提供方

EIT 数字  徽标

EIT 数字

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

1

1

完成时间为 3 小时

Module 1: Computational Tree Logic

完成时间为 3 小时
6 个视频 (总计 61 分钟), 3 个阅读材料, 4 个测验
6 个视频
Welcome!1分钟
Introduction13分钟
Semantics of CTL13分钟
Model Checking CTL9分钟
The Until Operator12分钟
The Always Operator9分钟
3 个阅读材料
Script 1 and 2.110分钟
Script 2.2 and 2.310分钟
Script 2.420分钟
4 个练习
Formulate for yourself6分钟
Test your understanding of CTL semantics14分钟
Check your understanding of CTL20分钟
Model checking eventually, always and until22分钟
2

2

完成时间为 2 小时

Discrete Time Markov Chains

完成时间为 2 小时
5 个视频 (总计 49 分钟), 2 个阅读材料, 5 个测验
5 个视频
Evolution in Time13分钟
Transient probabilities9分钟
State classification5分钟
Steady-state probabilities12分钟
2 个阅读材料
Script 3.1 and 3.210分钟
Script 3.310分钟
5 个练习
Evolution of DTMCs6分钟
Compute transient probabilities10分钟
Classification of DTMC states True or False?14分钟
State classification16分钟
Steady-state computation12分钟
3

3

完成时间为 2 小时

Probabilistic Computational Tree Logic

完成时间为 2 小时
5 个视频 (总计 36 分钟), 3 个阅读材料, 6 个测验
5 个视频
Model checking and the Next operator7分钟
Time-bounded Until6分钟
Backwards computation4分钟
Unbounded Until8分钟
3 个阅读材料
Script: 4.1 and 4.210分钟
Script: 4.3.1 and 4.3.225分钟
Script 4.3.310分钟
6 个练习
PCTL Syntax8分钟
Checking PCTL next4分钟
Test your understanding of PCTL Until6分钟
Checking time-bounded until16分钟
Checking unbounded until10分钟
Test your understanding of PCTL6分钟
4

4

完成时间为 2 小时

Continuous Time Markov Chains

完成时间为 2 小时
5 个视频 (总计 57 分钟), 2 个阅读材料, 6 个测验
5 个视频
Generator matrix11分钟
Steady-state probabilities11分钟
Triple Modular Redundancy11分钟
Uniformisation12分钟
2 个阅读材料
Script: 5.1 and 5.220分钟
Script: 5.315分钟
6 个练习
Generator matrix6分钟
Test your understanding of CTMCs6分钟
Steady state probability in CTMCs10分钟
Identifying BSCCs12分钟
Test your understanding of Uniformisation6分钟
Uniformisation12分钟

常见问题

  • 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.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

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