課程信息

1,816 次近期查看
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
高級
完成時間大約為3 小時
英語(English)
字幕:英語(English)
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
高級
完成時間大約為3 小時
英語(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分鐘

常見問題

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

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

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

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

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