課程信息

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

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

中級

Basic logic and programming on a bachelor level.

完成時間大約為13 小時

英語(English)

字幕:英語(English)

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

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

中級

Basic logic and programming on a bachelor level.

完成時間大約為13 小時

英語(English)

字幕:英語(English)

教學大綱 - 您將從這門課程中學到什麼

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小時

提供方

EIT 数字  徽標

EIT 数字

常見問題

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

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

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