課程信息

18,244 次近期查看

學生職業成果

67%

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

40%

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

25%

加薪或升職
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
初級
完成時間大約為27 小時
中文(簡體)

講師

學生職業成果

67%

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

40%

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

25%

加薪或升職
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
初級
完成時間大約為27 小時
中文(簡體)

提供方

Placeholder

北京大学

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

內容評分Thumbs Up90%(1,146 個評分)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 個練習
测验#130分鐘
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 個練習
测验#230分鐘
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 個練習
测验#330分鐘
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 個練習
测验#430分鐘

審閱

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

查看所有評論

常見問題

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