课程信息
4.7
155 个评分
35 个审阅
100% 在线

100% 在线

立即开始,按照自己的计划学习。
可灵活调整截止日期

可灵活调整截止日期

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

初级

完成时间(小时)

完成时间大约为41 小时

建议:3-4 hours/week...
可选语言

中文(简体)

字幕:中文(简体)...
100% 在线

100% 在线

立即开始,按照自己的计划学习。
可灵活调整截止日期

可灵活调整截止日期

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

初级

完成时间(小时)

完成时间大约为41 小时

建议:3-4 hours/week...
可选语言

中文(简体)

字幕:中文(简体)...

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

1
完成时间(小时)
完成时间为 2 小时

数理逻辑:基本概念

...
Reading
12 个视频(共 89 分钟), 1 个阅读材料, 1 个测验
Video12 个视频
02-正式内容之前:形式化及其极限18分钟
03-正式内容之前:悖论、版画、卡农11分钟
04-数理逻辑介绍4分钟
05-什么是命题5分钟
06-排中律5分钟
07-命题符号化6分钟
08-逻辑联结词(上)6分钟
09-逻辑联结词(下)7分钟
10-命题公式6分钟
11-真值函数6分钟
12-命题形式化6分钟
Reading1 个阅读材料
课件10分钟
Quiz1 个练习
测验#16分钟
2
完成时间(小时)
完成时间为 3 小时

数理逻辑:命题逻辑及形式系统

...
Reading
13 个视频(共 142 分钟), 1 个阅读材料, 1 个测验
Video13 个视频
14-逻辑等价式和逻辑蕴涵式17分钟
15-代入原理和替换原理5分钟
16-证明逻辑等价式和逻辑蕴涵式13分钟
17-范式及基本术语7分钟
18-求范式的一般步骤10分钟
19-主范式14分钟
20-联结词集完备性10分钟
21-形式系统和证明、演绎7分钟
22-命题演算形式系统PC9分钟
23-PC中的定理证明7分钟
24-三个元定理15分钟
25-定理判定问题15分钟
Reading1 个阅读材料
课件10分钟
Quiz1 个练习
测验#28分钟
3
完成时间(小时)
完成时间为 2 小时

数理逻辑:谓词逻辑及形式系统

...
Reading
7 个视频(共 78 分钟), 1 个阅读材料, 1 个测验
Video7 个视频
27-数理逻辑-谓词公式9分钟
28-数理逻辑-谓词公式永真式13分钟
29-数理逻辑-谓词演算形式系统FC9分钟
30-数理逻辑-全称引入规则及存在消除规则8分钟
31-数理逻辑-自然推理系统14分钟
32-数理逻辑-ND中的定理证明6分钟
Reading1 个阅读材料
课件10分钟
Quiz1 个练习
测验#314分钟
4
完成时间(小时)
完成时间为 3 小时

集合论:集合代数

...
Reading
9 个视频(共 128 分钟), 1 个阅读材料, 1 个测验
Video9 个视频
34-集合基本概念15分钟
35-子集合13分钟
36-集合基本运算23分钟
37-集合族及运算17分钟
38-归纳定义10分钟
39-自然数的定义11分钟
40-归纳原理7分钟
41-数学归纳法11分钟
Reading1 个阅读材料
课件10分钟
Quiz1 个练习
测验#414分钟

讲师

Avatar

陈斌

副教授
北京大学

关于 Peking University

Peking University is determined to make its education openly accessible to students in China and around the world. With over 3000 faculty members, Peking University offers excellence in teaching and learning. Founded in 1898, Peking University (PKU) was the first national comprehensive university in China. For the past 115 years, with its hundreds of thousands of outstanding alumni, Peking University has made prominent contributions in the humanities and sciences to further China's prosperity and progress....

常见问题

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

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

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