Informações principais
Sobre o conteúdo
离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
Programa de estudos
- Week 1 - 数理逻辑：基本概念
- Week 2 - 数理逻辑：命题逻辑及形式系统
- Week 3 - 数理逻辑：谓词逻辑及形式系统
- Week 4 - 集合论：集合代数
- Week 5 - 集合论：集合代数
- Week 6 - 集合论：特殊关系及函数
- Week 7 - 图论：图的基本概念
- Week 8 - 图论：特殊图
- Week 9 - 抽象代数
- Week 10 - 形式语言与自动机：基本概念
- Week 11 - 形式语言与自动机：有限状态机
- Week 12 - 形式语言与自动机：图灵机与计算理论
- Week 13 - 期末考试
Instrutores
陈斌
副教授
北京大学
Criador do conteúdo
Plataforma
A Coursera é uma empresa digital que oferece um curso on-line massivo e aberto, fundado pelos professores de computação Andrew Ng e Daphne Koller Stanford University, localizado em Mountain View, Califórnia.
O Coursera trabalha com as melhores universidades e organizações para disponibilizar alguns dos seus cursos on-line e oferece cursos em várias disciplinas, incluindo: física, engenharia, humanidades, medicina, biologia, ciências sociais, matemática, negócios, ciência da computação, marketing digital, ciência de dados. e outros assuntos.Cours
