課程信息

6,437 次近期查看
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
中級
完成時間大約為20 小時
英語(English)
字幕:英語(English)
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
中級
完成時間大約為20 小時
英語(English)
字幕:英語(English)

提供方

EIT 数字  徽標

EIT 数字

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

1

1

完成時間為 1 小時

SAT/SMT basics, SAT examples

完成時間為 1 小時
6 個視頻 (總計 58 分鐘), 2 個閱讀材料, 3 個測驗
6 個視頻
Introduction to SAT7分鐘
SMT syntax and tools11分鐘
Eight queens problem9分鐘
Binary Arithmetic: addition10分鐘
Binary Arithmetic: multiplication12分鐘
2 個閱讀材料
Examples from the lecture10分鐘
Eight queens formula in SMT syntax10分鐘
3 個練習
Truth table2分鐘
Carries in binary addition2分鐘
Binary multiplication2分鐘
2

2

完成時間為 17 小時

SMT applications

完成時間為 17 小時
4 個視頻 (總計 33 分鐘), 2 個閱讀材料, 7 個測驗
4 個視頻
Solving Sudoku7分鐘
Scheduling8分鐘
Bounded model checking8分鐘
2 個閱讀材料
Sudoku formula in SMT 2 format10分鐘
Introduction10分鐘
7 個練習
Rectangle fitting2分鐘
Scheduling2分鐘
Bounded Model Checking2分鐘
Filling trucks for a magic factory4小時
A sudoku variant4小時
Job scheduling4小時
Program correctness4小時
3

3

完成時間為 1 小時

Theory and algorithms for CNF-based SAT

完成時間為 1 小時
6 個視頻 (總計 56 分鐘)
6 個視頻
Resolution10分鐘
Example of resolution8分鐘
DPLL10分鐘
Transforming DPLL to resolution9分鐘
CDCL basics11分鐘
CDCL optimizations6分鐘
5 個練習
Resolution2分鐘
apply resolution2分鐘
DPLL2分鐘
DPLL to resolution2分鐘
CDCL basics
4

4

完成時間為 1 小時

Theory and algorithms for SAT/SMT

完成時間為 1 小時
6 個視頻 (總計 55 分鐘)
6 個視頻
The Tseitin transfomation10分鐘
Introduction to the Simplex method7分鐘
Optimizing by the Simplex method11分鐘
Checking feasibility by the Simplex method8分鐘
The Simplex method and SMT8分鐘
4 個練習
Transforming a propositional formula to CNF
The Tseitin transfomation
Slack form
Optimizing by the Simplex method

審閱

來自AUTOMATED REASONING: SATISFIABILITY的熱門評論

查看所有評論

常見問題

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

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

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

  • 此课程不提供大学学分,但部分大学可能会选择接受课程证书作为学分。查看您的合作院校,了解详情。Coursera 上的在线学位Mastertrack™ 证书提供获得大学学分的机会。

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