离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。
Offert par
离散数学概论 Discrete Mathematics Generality
Université de PékinÀ propos de ce cours
16,460 consultations récentes
Résultats de carrière des étudiants
67%
ont commencé une nouvelle carrière après avoir terminé ce cours
40%
ont bénéficié d'un avantage concret dans leur carrières grâce à ce cours
25%
a obtenu une augmentation de salaire ou une promotion
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau débutant
Approx. 27 heures pour terminer
Chinois (simplifié)
Sous-titres : Chinois (simplifié)
Enseignant
Résultats de carrière des étudiants
67%
ont commencé une nouvelle carrière après avoir terminé ce cours
40%
ont bénéficié d'un avantage concret dans leur carrières grâce à ce cours
25%
a obtenu une augmentation de salaire ou une promotion
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau débutant
Approx. 27 heures pour terminer
Chinois (simplifié)
Sous-titres : Chinois (simplifié)
Offert par

Université de Pékin
Peking University is determined to make its education openly accessible to students in China and around the world. With over 3000 faculty members, Peking University offers excellence in teaching and learning.
Programme du cours : ce que vous apprendrez dans ce cours
2 heures pour terminer
数理逻辑:基本概念
2 heures pour terminer
12 vidéos (Total 89 min), 1 lecture, 1 quiz
12 vidéos
01-课程介绍1 min
02-正式内容之前:形式化及其极限18 min
03-正式内容之前:悖论、版画、卡农11 min
04-数理逻辑介绍4 min
05-什么是命题5 min
06-排中律5 min
07-命题符号化6 min
08-逻辑联结词(上)6 min
09-逻辑联结词(下)7 min
10-命题公式6 min
11-真值函数6 min
12-命题形式化6 min
1 lecture
课件10 min
1 exercice pour s'entraîner
测验#130 min
3 heures pour terminer
数理逻辑:命题逻辑及形式系统
3 heures pour terminer
13 vidéos (Total 142 min), 1 lecture, 1 quiz
13 vidéos
13-重言式6 min
14-逻辑等价式和逻辑蕴涵式17 min
15-代入原理和替换原理5 min
16-证明逻辑等价式和逻辑蕴涵式13 min
17-范式及基本术语7 min
18-求范式的一般步骤10 min
19-主范式14 min
20-联结词集完备性10 min
21-形式系统和证明、演绎7 min
22-命题演算形式系统PC9 min
23-PC中的定理证明7 min
24-三个元定理15 min
25-定理判定问题15 min
1 lecture
课件10 min
1 exercice pour s'entraîner
测验#230 min
2 heures pour terminer
数理逻辑:谓词逻辑及形式系统
2 heures pour terminer
7 vidéos (Total 78 min), 1 lecture, 1 quiz
7 vidéos
26-数理逻辑-个体、谓词和量词14 min
27-数理逻辑-谓词公式9 min
28-数理逻辑-谓词公式永真式13 min
29-数理逻辑-谓词演算形式系统FC9 min
30-数理逻辑-全称引入规则及存在消除规则8 min
31-数理逻辑-自然推理系统14 min
32-数理逻辑-ND中的定理证明6 min
1 lecture
课件10 min
1 exercice pour s'entraîner
测验#330 min
3 heures pour terminer
集合论:集合代数
3 heures pour terminer
9 vidéos (Total 128 min), 1 lecture, 1 quiz
9 vidéos
33-集合论与无限18 min
34-集合基本概念15 min
35-子集合13 min
36-集合基本运算23 min
37-集合族及运算17 min
38-归纳定义10 min
39-自然数的定义11 min
40-归纳原理7 min
41-数学归纳法11 min
1 lecture
课件10 min
1 exercice pour s'entraîner
测验#430 min
Avis
Meilleurs avis pour 离散数学概论 DISCRETE MATHEMATICS GENERALITY
par LZ7 sept. 2017
以文科大學畢業生的角度,撐過前兩週的內容(許多東西要背),後面會比較好理解。 課程優點:概念涵蓋範圍廣、內容重點豐富、老師講解清楚\n\n課程缺點:有問題要多靠自己(發問從來沒有得到任何staff的回覆)\n\n課程期待:課程設計能再多元一點
par JJ10 oct. 2019
1.5倍速播放的时候感觉速度差不多可以,但是课程设计有一些问题,课后quiz(尤其是第十周左右之后)出现了不少比例的课上未讲解的内容,导致比较难做,并且课程提供的参考书籍没有涉及相关方面,导致学习有一定的困难,如果这里有所改进会更好。
Foire Aux Questions
Quand aurai-je accès aux vidéos de cours et aux devoirs ?
À quoi ai-je droit si j'achète le Certificat ?
Is financial aid available?
D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.