课程信息
40,762

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

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

中级

完成时间大约为20 小时

建议:10 weeks of study, 4-8 hours/week...

英语(English)

字幕:中文(简体), 希腊语, 巴西葡萄牙语, 德语(German), 土耳其语(Turkish), 英语(English), 西班牙语(Spanish), 波兰语...

您将获得的技能

Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

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

中级

完成时间大约为20 小时

建议:10 weeks of study, 4-8 hours/week...

英语(English)

字幕:中文(简体), 希腊语, 巴西葡萄牙语, 德语(German), 土耳其语(Turkish), 英语(English), 西班牙语(Spanish), 波兰语...

教学大纲 - 您将从这门课程中学到什么

1
完成时间为 2 小时

Lesson 1 - Introduction

...
13 个测验
2
完成时间为 4 小时

Lesson 2 - Propositional Logic

...
1 个视频 (总计 3 分钟), 14 个测验
1 个视频
完成时间为 5 小时

Lesson 3 - Propositional Analysis

...
14 个测验
3
完成时间为 7 小时

Lesson 4 - Propositional Proofs

...
20 个测验
4
完成时间为 2 小时

Lesson 5 - Propositional Resolution

...
1 个视频 (总计 4 分钟), 8 个测验
1 个视频
5
完成时间为 5 小时

Lesson 6 - Relational Logic

...
19 个测验
完成时间为 4 小时

Lesson 7 - Relational Analysis

...
13 个测验
6
完成时间为 4 小时

Lesson 8 - Relational Proofs

The description goes here...
15 个测验
7
完成时间为 4 小时

Lesson 9 - Herbrand Logic

...
13 个测验
8
完成时间为 1 小时

Lesson 10 - Herbrand Proofs

...
3 个测验
完成时间为 5 小时

Lesson 11 - Induction

The description goes here...
13 个测验
9
完成时间为 6 小时

Lesson 12 - Resolution

The description goes here...
19 个测验
10
完成时间为 4 小时

Supplementary Material

...
4 个测验
4.5
109 个审阅Chevron Right

67%

完成这些课程后已开始新的职业生涯

50%

通过此课程获得实实在在的工作福利

热门审阅

创建者 MOSep 10th 2017

I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.

创建者 JSAug 21st 2018

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!

讲师

Michael Genesereth

Associate Professor
Computer Science Department

关于 斯坦福大学

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....

常见问题

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

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

还有其他问题吗?请访问 学生帮助中心