À propos de ce cours

21,857 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. 41 heures pour terminer

Recommandé : 3-4 hours/week...

Chinois (simplifié)

Sous-titres : Chinois (simplifié)

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. 41 heures pour terminer

Recommandé : 3-4 hours/week...

Chinois (simplifié)

Sous-titres : Chinois (simplifié)

Programme du cours : ce que vous apprendrez dans ce cours

Évaluation du contenuThumbs Up90%(1,095 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
测验#16 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
测验#28 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
测验#314 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
测验#414 min

Avis

Meilleurs avis pour 离散数学概论 DISCRETE MATHEMATICS GENERALITY
Voir tous les avis

Enseignant

Offert par

Logo Université de Pékin

Université de Pékin

Foire Aux Questions

  • Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.

  • Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.

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