离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。
Informações sobre o curso
15,241 visualizações recentes
Resultados de carreira do aprendiz
67%
comecei uma nova carreira após concluir estes cursos
40%
consegui um benefício significativo de carreira com este curso
25%
recebi um aumento ou promoção
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível iniciante
Aprox. 27 horas para completar
Chinês (simplificado)
Legendas: Chinês (simplificado)
Instrutores
Resultados de carreira do aprendiz
67%
comecei uma nova carreira após concluir estes cursos
40%
consegui um benefício significativo de carreira com este curso
25%
recebi um aumento ou promoção
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível iniciante
Aprox. 27 horas para completar
Chinês (simplificado)
Legendas: Chinês (simplificado)
oferecido por

Universidade de PequimUniversidade de Pequim
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.
Programa - O que você aprenderá com este curso
2 horas para concluir
数理逻辑:基本概念
2 horas para concluir
12 vídeos (Total 89 mín.), 1 leitura, 1 teste
12 videos
01-课程介绍1min
02-正式内容之前:形式化及其极限18min
03-正式内容之前:悖论、版画、卡农11min
04-数理逻辑介绍4min
05-什么是命题5min
06-排中律5min
07-命题符号化6min
08-逻辑联结词(上)6min
09-逻辑联结词(下)7min
10-命题公式6min
11-真值函数6min
12-命题形式化6min
1 leituras
课件10min
1 exercício prático
测验#130min
3 horas para concluir
数理逻辑:命题逻辑及形式系统
3 horas para concluir
13 vídeos (Total 142 mín.), 1 leitura, 1 teste
13 videos
13-重言式6min
14-逻辑等价式和逻辑蕴涵式17min
15-代入原理和替换原理5min
16-证明逻辑等价式和逻辑蕴涵式13min
17-范式及基本术语7min
18-求范式的一般步骤10min
19-主范式14min
20-联结词集完备性10min
21-形式系统和证明、演绎7min
22-命题演算形式系统PC9min
23-PC中的定理证明7min
24-三个元定理15min
25-定理判定问题15min
1 leituras
课件10min
1 exercício prático
测验#230min
2 horas para concluir
数理逻辑:谓词逻辑及形式系统
2 horas para concluir
7 vídeos (Total 78 mín.), 1 leitura, 1 teste
7 videos
26-数理逻辑-个体、谓词和量词14min
27-数理逻辑-谓词公式9min
28-数理逻辑-谓词公式永真式13min
29-数理逻辑-谓词演算形式系统FC9min
30-数理逻辑-全称引入规则及存在消除规则8min
31-数理逻辑-自然推理系统14min
32-数理逻辑-ND中的定理证明6min
1 leituras
课件10min
1 exercício prático
测验#330min
3 horas para concluir
集合论:集合代数
3 horas para concluir
9 vídeos (Total 128 mín.), 1 leitura, 1 teste
9 videos
33-集合论与无限18min
34-集合基本概念15min
35-子集合13min
36-集合基本运算23min
37-集合族及运算17min
38-归纳定义10min
39-自然数的定义11min
40-归纳原理7min
41-数学归纳法11min
1 leituras
课件10min
1 exercício prático
测验#430min
Avaliações
Principais avaliações do 离散数学概论 GENERALIDADES MATEMÁTICAS DISCRETAS
por LZ7 de Set de 2017
以文科大學畢業生的角度,撐過前兩週的內容(許多東西要背),後面會比較好理解。 課程優點:概念涵蓋範圍廣、內容重點豐富、老師講解清楚\n\n課程缺點:有問題要多靠自己(發問從來沒有得到任何staff的回覆)\n\n課程期待:課程設計能再多元一點
por JJ10 de Out de 2019
1.5倍速播放的时候感觉速度差不多可以,但是课程设计有一些问题,课后quiz(尤其是第十周左右之后)出现了不少比例的课上未讲解的内容,导致比较难做,并且课程提供的参考书籍没有涉及相关方面,导致学习有一定的困难,如果这里有所改进会更好。
Perguntas Frequentes – FAQ
Quando terei acesso às palestras e às tarefas?
O que recebo ao adquirir o Certificado?
Is financial aid available?
Ganharei créditos universitários por concluir o curso?
Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.