Avis de la communauté
Les infos clés
credit_card
Formation gratuite
verified_user
Certification payante
timer
39 heures de cours
En résumé
离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法,介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,介绍离散数学基本概念和空间信息技术之间的联系与结合,培养学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
more_horiz
Lire plus
more_horiz
Lire moins
dns
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 - 期末考试
record_voice_over
Les intervenants
陈斌
副教授
北京大学
store
Le concepteur

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.
assistant
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.
Vous êtes le concepteur de ce MOOC ?
keyboard_arrow_left
grade
keyboard_arrow_right
Intégrez le module d’évaluation