課程信息
4.7
155 個評分
35 個審閱
100% online

100% online

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

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

初級

完成時間(小時)

完成時間大約為41 小時

建議:3-4 hours/week...
可選語言

中文(簡體)

字幕:中文(簡體)...
100% online

100% online

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

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

初級

完成時間(小時)

完成時間大約為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....

常見問題

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

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

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