课程信息

17,289 次近期查看

学生职业成果

67%

完成这些课程后已开始新的职业生涯

40%

通过此课程获得实实在在的工作福利

25%

加薪或升职
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
初级
完成时间大约为23 小时
中文(简体)
字幕:中文(简体)

学生职业成果

67%

完成这些课程后已开始新的职业生涯

40%

通过此课程获得实实在在的工作福利

25%

加薪或升职
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
初级
完成时间大约为23 小时
中文(简体)
字幕:中文(简体)

讲师

提供方

北京大学 徽标

北京大学

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

内容评分Thumbs Up90%(1,130 个评分)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的热门评论

查看所有评论

常见问题

  • 讲座和作业的访问权限取决于您的注册类型。如果您以旁听模式参加课程,则可以免费查看大多数课程资料。要访问评分作业并获得证书,您需要在旁听期间或之后购买证书体验。如果看不到旁听选项:

    • 课程可能不提供旁听选项。您可以尝试免费试用,也可以申请助学金。
    • 课程可能会改为提供'完整课程,没有证书'。通过此选项,您可以查看所有课程材料、提交所要求的作业,以及获得最终成绩。这也意味着您将无法购买证书体验。
  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

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

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

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