离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
离散数学概论 Generalidades matemáticas discretas
oferecido por
Universidade de PequimUniversidade de Pequim
Os alunos que estão fazendo este Course são
- Machine Learning Engineers
- Research Assistants
- Data Engineers
- Data Scientists
- Data Analysts
Programa - O que você aprenderá com este curso
Semana
12 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
测验#16min
Semana
23 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
测验#28min
Semana
32 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
测验#314min
Semana
43 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
测验#414min
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
Principais avaliações do 离散数学概论 Generalidades matemáticas discretas
very good brief introduction for further study in computer science, especially in algorithm
Instrutores
陈斌
副教授北京大学
Sobre 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.
Founded in 1898, Peking University (PKU) was the first national comprehensive university in China. For the past 115 years, with its hundreds of thousands of outstanding alumni, Peking University has made prominent contributions in the humanities and sciences to further China's prosperity and progress.
Perguntas Frequentes – FAQ
Quando terei acesso às palestras e às tarefas?
Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.
O que recebo ao adquirir o Certificado?
Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.
Qual é a política de reembolso?
Existe algum auxílio financeiro disponível?
Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.
O Coursera proporciona acesso universal à melhor educação do mundo fazendo parcerias com as melhores universidades e organizações para oferecer cursos on-line.
© 2019 Coursera Inc. Todos os direitos reservados.
