課程信息

18,871 次近期查看

可分享的證書

完成後獲得證書

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分鐘

常見問題

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

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

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

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

還有其他問題嗎?請訪問 學生幫助中心