課程信息

20,799 次近期查看

學生職業成果

67%

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

40%

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

25%

加薪或升職

100% 在線

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

可靈活調整截止日期

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

初級

完成時間大約為41 小時

建議:3-4 hours/week...

中文(簡體)

字幕:中文(簡體)

學生職業成果

67%

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

40%

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

25%

加薪或升職

100% 在線

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

可靈活調整截止日期

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

初級

完成時間大約為41 小時

建議:3-4 hours/week...

中文(簡體)

字幕:中文(簡體)

講師

提供方

北京大学 徽標

北京大学

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

內容評分Thumbs Up90%(1,095 個評分)Info
1

1

完成時間為 2 小時

数理逻辑:基本概念

完成時間為 2 小時
12 個視頻 (總計 89 分鐘), 1 個閱讀材料, 1 個測驗
12 個視頻
02-正式内容之前:形式化及其极限18分鐘
03-正式内容之前:悖论、版画、卡农11分鐘
04-数理逻辑介绍4分鐘
05-什么是命题5分鐘
06-排中律5分鐘
07-命题符号化6分鐘
08-逻辑联结词(上)6分鐘
09-逻辑联结词(下)7分鐘
10-命题公式6分鐘
11-真值函数6分鐘
12-命题形式化6分鐘
1 個閱讀材料
课件10分鐘
1 個練習
测验#16分鐘
2

2

完成時間為 3 小時

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

完成時間為 3 小時
13 個視頻 (總計 142 分鐘), 1 個閱讀材料, 1 個測驗
13 個視頻
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分鐘
1 個閱讀材料
课件10分鐘
1 個練習
测验#28分鐘
3

3

完成時間為 2 小時

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

完成時間為 2 小時
7 個視頻 (總計 78 分鐘), 1 個閱讀材料, 1 個測驗
7 個視頻
27-数理逻辑-谓词公式9分鐘
28-数理逻辑-谓词公式永真式13分鐘
29-数理逻辑-谓词演算形式系统FC9分鐘
30-数理逻辑-全称引入规则及存在消除规则8分鐘
31-数理逻辑-自然推理系统14分鐘
32-数理逻辑-ND中的定理证明6分鐘
1 個閱讀材料
课件10分鐘
1 個練習
测验#314分鐘
4

4

完成時間為 3 小時

集合论:集合代数

完成時間為 3 小時
9 個視頻 (總計 128 分鐘), 1 個閱讀材料, 1 個測驗
9 個視頻
34-集合基本概念15分鐘
35-子集合13分鐘
36-集合基本运算23分鐘
37-集合族及运算17分鐘
38-归纳定义10分鐘
39-自然数的定义11分鐘
40-归纳原理7分鐘
41-数学归纳法11分鐘
1 個閱讀材料
课件10分鐘
1 個練習
测验#414分鐘

審閱

來自离散数学概论 DISCRETE MATHEMATICS GENERALITY的熱門評論
查看所有評論

常見問題

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

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

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