离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。
本课程介绍计算机科学和信息技术理论基础的概念和思想方法,介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,培养学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
本课程的目标,重点在于基本概念的理解和掌握,并不会涉及到太多的数学证明和解题的技巧。
我们主要培养采用形式化方法来分析问题,并能够自觉运用逻辑分析、结构层次分析和同构类比等思想方法来解决问题的能力。
另外,本课还能够帮助你理解和欣赏一些经典的科幻作品。
你准备好了吗?
欢迎选修"离散数学概论"!
本课程面向广大理工科专业的本科生及相关IT行业从业人士,介绍计算机科学和信息技术理论基础的概念和思想方法。
先修过"高等数学"、"计算概论"、"数据结构与算法"等理科基础课程最好,但这些先修课并不是必须的,有基本数理概念也可以选修本课程。
为积极响应国家低碳环保政策, 2021年秋季学期开始,中国大学MOOC平台将取消纸质版的认证证书,仅提供电子版的认证证书服务,证书申请方式和流程不变。
电子版认证证书支持查询验证,可通过扫描证书上的二维码进行有效性查询,或者访问 https://www.icourse163.org/verify,通过证书编号进行查询。学生可在“个人中心-证书-查看证书”页面自行下载、打印电子版认证证书。
完成课程教学内容学习和考核,成绩达到课程考核标准的学生(每门课程的考核标准不同,详见课程内的评分标准),具备申请认证证书资格,可在证书申请开放期间(以申请页面显示的时间为准),完成在线付费申请。
认证证书申请注意事项:
1. 根据国家相关法律法规要求,认证证书申请时要求进行实名认证,请保证所提交的实名认证信息真实完整有效。
2. 完成实名认证并支付后,系统将自动生成并发送电子版认证证书。电子版认证证书生成后不支持退费。
本课教材:
[O158/75]计算机科学中的离散结构,王元元, 张桂芸编著,机械工业出版社 2004
Q : 本课为什么叫做“概论”呢?
A : 计算机软件专业并没有一门课叫做“离散数学”,它是一系列课程的总称,所以本课让非计算机专业人士能够以最短时间来了解和掌握计算机理论基础的概念,并掌握相关思想方法,一览全貌,以便作为进一步深入学习计算机类相关课程的敲门砖。
Q : 离散数学对学计算机编程有好处吗?
A : 当然了!在学编程入门后,如果要继续深入,最好有离散数学的理论基础作为知识底子,你会发现后劲十足。
Q : 高中生也能学习吗?
A : 学有余力的高中生,对计算机感兴趣的话,完全可以学习本课。
Q : 为什么说“本课还能够帮助你理解和欣赏一些经典的科幻作品”?
A : 我们在北京大学的线下课程里,经常会给大家推荐一些科幻小说和科幻电影,里面都经常看到离散数学概念的应用呢。