Les infos clés
En résumé
离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
Le programme
- 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 - 期末考试
Les intervenants
陈斌
副教授
北京大学
Le concepteur
L'université de Pékin est déterminée à rendre son enseignement accessible aux étudiants de Chine et du monde entier. Avec plus de 3 000 membres du corps enseignant, l'université de Pékin offre l'excellence dans l'enseignement et l'apprentissage. Fondée en 1898, l'université de Pékin (PKU) a été la première université nationale complète de Chine.
Depuis 115 ans, grâce à ses centaines de milliers d'anciens étudiants exceptionnels, l'Université de Pékin a apporté une contribution majeure dans les domaines des sciences humaines et des sciences, contribuant ainsi à la prospérité et au progrès de la Chine.
La plateforme
Coursera est une entreprise numérique proposant des formations en ligne ouverte à tous fondée par les professeurs d'informatique Andrew Ng et Daphne Koller de l'université Stanford, située à Mountain View, Californie.
Ce qui la différencie le plus des autres plateformes MOOC, c'est qu'elle travaille qu'avec les meilleures universités et organisations mondiales et diffuse leurs contenus sur le web.
