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.
提供方
逻辑学导论
斯坦福大学課程信息
54,358 次近期查看
學生職業成果
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）, 波蘭語
提供方
斯坦福大学
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
教學大綱 - 您將從這門課程中學到什麼
完成時間為 2 小時
Lesson 1 - Introduction
完成時間為 2 小時
完成時間為 5 小時
Lesson 3 - Propositional Analysis
完成時間為 5 小時
完成時間為 7 小時
Lesson 4 - Propositional Proofs
完成時間為 7 小時
完成時間為 2 小時
Lesson 5 - Propositional Resolution
完成時間為 2 小時
1 個視頻 （總計 4 分鐘）
1 個視頻
審閱
來自逻辑学导论的熱門評論
由 JS 提供2018年8月20日
This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!
由 YD 提供2017年6月15日
Somehow difficult in the last several weeks. As almost all the materials are all in words, students may sometimes feel bored seeing all lines and complex tables.
由 CA 提供2017年9月10日
Very interesting course But some parts are not just to technical but rather for technicians and not for persons looking more into the theoretical aspects
由 SO 提供2019年4月23日
I feel like some things could have been explained better, maybe a better description of how the fitch tool worked. Other than that, it was a great course!
常見問題
我什么时候能够访问课程视频和作业？
讲座和作业的访问权限取决于您的注册类型。如果您以旁听模式参加课程，则可以免费查看大多数课程资料。要访问评分作业并获得证书，您需要在旁听期间或之后购买证书体验。如果看不到旁听选项：
- 课程可能不提供旁听选项。您可以尝试免费试用，也可以申请助学金。
- 课程可能会改为提供'完整课程，没有证书'。通过此选项，您可以查看所有课程材料、提交所要求的作业，以及获得最终成绩。这也意味着您将无法购买证书体验。
我购买证书后会得到什么？
您购买证书后，将有权访问所有课程材料，包括评分作业。完成课程后，您的电子课程证书将添加到您的成就页中，您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容，可以免费旁听课程。
Is financial aid available?
是的，Coursera 可以向无法承担学费的学生提供助学金。点击左侧‘注册’按钮下的‘助学金’链接即可申请助学金。您可以根据屏幕提示完成申请，申请获批后会收到通知。了解详情。
完成课程后，我会获得大学学分吗？
此课程不提供大学学分，但部分大学可能会选择接受课程证书作为学分。查看您的合作院校，了解详情。Coursera 上的在线学位和 Mastertrack™ 证书提供获得大学学分的机会。
還有其他問題嗎？請訪問 學生幫助中心。
