离散数学
北京大学的离散数学课程建设获得过北京市教学成果奖一等奖,出版了多部国家级规划教材、北京市精品教材和教育部高等教育精品教材,教师团队中有2名教育部高等学校师资培训离散数学课程的主讲教师。本课程按照144学时设计,面向创新人才培养计划,具有鲜明的特色和丰富的资源。
课程封面图

收藏课程
站内分享
分享到:

课程介绍 离散数学(Discrete Mathematics)是计算机科学与技术专业的一门重要的专业基础课,也是该专业的核心课程之一。教育部高等学校计算机科学与技术教学指导委员会在2006年出版的《高等学校计算机科学与技术专业发展战略研究报告暨专业规范(试行)》中提到:“离散结构是计算机科学的基础内容,可以为计算机系统提供其处理对象的状态及其变换的有效描述。所以,计算机科学与技术有关的许多领域都要用到离散结构中的概念。...

课程负责人教学团队>>
  • 王捍贫
    男,博士,现为北京大学信息科学技术学院教授,软件研究所副所长。主要研究领域为程序理论,研究方向包括程序逻辑,程序语义,分布式系统的描述与验证。多年主讲北京大学信息科学技术学院本科生离散数学课程和研究生形式语义课程,此外讲授过高等数学、形式化方法等多门课程。教育部师资培训离散数学课程主讲教师。已在国际会议、国内外学术杂志上发表论文60余篇,教材或译著7部。主持或参加国家自然科学基金项目、863项目、973项目等10余项,参与建设的离散数学课程体系建设在2001年评为北京市教学成果奖一等奖,获教育部高等学校科学技术奖励自然科学一等奖... 更多

更多>>

主教材
离散数学教程
ISBN:978-7-301-05366-9
主编:耿素云 屈婉玲 王捍贫
北京大学出版社

辅助教材
离散数学习题解析

ISBN:978-7-301-09801-1

主编:屈婉玲 耿素云 王捍贫 刘田

北京大学出版社

还有谁在学这门课: