课程信息

17,635 次近期查看

学生职业成果

67%

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

40%

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

25%

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

讲师

学生职业成果

67%

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

40%

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

25%

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

提供方

Placeholder

北京大学

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

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

查看所有评论

常见问题

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