課程信息

54,773 次近期查看

學生職業成果

67%

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

40%

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

25%

加薪或升職

可分享的證書

完成後獲得證書

100% 在線

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

可靈活調整截止日期

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

初級

完成時間大約為23 小時

中文(簡體)

字幕:中文(簡體)

學生職業成果

67%

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

40%

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

25%

加薪或升職

可分享的證書

完成後獲得證書

100% 在線

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

可靈活調整截止日期

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

初級

完成時間大約為23 小時

中文(簡體)

字幕:中文(簡體)

講師

提供方

北京大学 徽標

北京大学

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

內容評分Thumbs Up90%(1,103 個評分)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分鐘

常見問題

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

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

  • 您可在付款后两周内,或者在课程第一个班次开课后(对于已启动的课程)两周内,获得全额退款,以其中较晚者为准。获得课程证书后,您便无法再退款;即使您在两周的退款期内完成了课程,也是如此。请阅读我们完整的退款政策

  • 是的,Coursera 可以向无法承担学费的学生提供助学金。点击左侧‘注册’按钮下的‘助学金’链接即可申请助学金。您可以根据屏幕提示完成申请,申请获批后会收到通知。了解详情

  • 此课程不提供大学学分,但部分大学可能会选择接受课程证书作为学分。查看您的合作院校,了解详情。Coursera 上的在线学位Mastertrack™ 证书提供获得大学学分的机会。

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