À propos de ce cours

17,495 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é)

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é)

Offert par

Placeholder

Université de Pékin

Programme du cours : ce que vous apprendrez dans ce cours

Évaluation du contenuThumbs Up90%(1,142 notes)Info
Semaine
1

Semaine 1

2 heures pour terminer

数理逻辑:基本概念

2 heures pour terminer
12 vidéos (Total 89 min), 1 lecture, 1 quiz
12 vidéos
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
Semaine
2

Semaine 2

3 heures pour terminer

数理逻辑:命题逻辑及形式系统

3 heures pour terminer
13 vidéos (Total 142 min), 1 lecture, 1 quiz
13 vidéos
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
Semaine
3

Semaine 3

2 heures pour terminer

数理逻辑:谓词逻辑及形式系统

2 heures pour terminer
7 vidéos (Total 78 min), 1 lecture, 1 quiz
7 vidéos
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
Semaine
4

Semaine 4

3 heures pour terminer

集合论:集合代数

3 heures pour terminer
9 vidéos (Total 128 min), 1 lecture, 1 quiz
9 vidéos
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

Voir tous les avis

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.