課程信息

45,368 次近期查看

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

學生職業成果

50%

完成這些課程後已開始新的職業生涯

40%

通過此課程獲得實實在在的工作福利

可分享的證書

完成後獲得證書

100% 在線

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

可靈活調整截止日期

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

中級

完成時間大約為54 小時

英語（English）

字幕：阿拉伯語（Arabic）, 中文（簡體）, 希臘語, 巴西葡萄牙語, 南非荷蘭語, 德語（German）, 土耳其語（Turkish）, 英語（English）, 西班牙語（Spanish）, 波蘭語

您將獲得的技能

Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic

學生職業成果

50%

完成這些課程後已開始新的職業生涯

40%

通過此課程獲得實實在在的工作福利

可分享的證書

完成後獲得證書

100% 在線

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

可靈活調整截止日期

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

中級

完成時間大約為54 小時

英語（English）

字幕：阿拉伯語（Arabic）, 中文（簡體）, 希臘語, 巴西葡萄牙語, 南非荷蘭語, 德語（German）, 土耳其語（Turkish）, 英語（English）, 西班牙語（Spanish）, 波蘭語

講師

授課教師評分

4/5 （13 個評分）

Michael Genesereth

Associate Professor

Computer Science Department

161,599 個學生

1 門課程

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

1 個視頻（總計 4 分鐘）

1 個視頻

Box Logic (out of focus)4分鐘

常見問題

我什么时候能够访问课程视频和作业？
讲座和作业的访问权限取决于您的注册类型。如果您以旁听模式参加课程，则可以免费查看大多数课程资料。要访问评分作业并获得证书，您需要在旁听期间或之后购买证书体验。如果看不到旁听选项：
课程可能不提供旁听选项。您可以尝试免费试用，也可以申请助学金。
课程可能会改为提供'完整课程，没有证书'。通过此选项，您可以查看所有课程材料、提交所要求的作业，以及获得最终成绩。这也意味着您将无法购买证书体验。
我购买证书后会得到什么？
您购买证书后，将有权访问所有课程材料，包括评分作业。完成课程后，您的电子课程证书将添加到您的成就页中，您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容，可以免费旁听课程。
Is financial aid available?
是的，Coursera 可以向无法承担学费的学生提供助学金。点击左侧‘注册’按钮下的‘助学金’链接即可申请助学金。您可以根据屏幕提示完成申请，申请获批后会收到通知。了解详情。

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

逻辑学导论