离散数学概论

通过数理逻辑,你可以把啰嗦的推理过程写成简洁的公式,这可是学术论文的必备要素;在集合论里,你可以知道自然数是怎么来的,数学归纳法为什么会那么神奇?你在《数据结构和算法》里学到的许多东西,源头…

国家精品数学与统计
1409 次查看
北京大学
中国大学MOOC
  • 完成时间大约为 16
  • 简单(初级)
  • 中文
注:因开课平台的各种因素变化,以上开课日期仅供参考

课程概况

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica}    离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。    本课程介绍计算机科学和信息技术理论基础的概念和思想方法,介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,培养学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。

课程大纲

1 课程介绍
课程简介
正式内容之前
2 数理逻辑-基本概念
命题与联结词
命题公式
单元2测验
3 数理逻辑-命题逻辑及形式系统
重言式
范式
命题演算形式系统
单元3测验
4 数理逻辑-谓词逻辑及形式系统
谓词公式
谓词演算形式系统
自然推理系统
单元4测验
5 集合论
集合基本概念
归纳定义
单元5测验
6 集合论-集合代数
关系定义
关系运算
关系特性
单元6测验
7 集合论-特殊关系及函数
特殊关系
函数
单元7测验
8 图论:图的基本概念
图的定义
连通性
单元8测验
9 图论-特殊图
二分图

单元9测验
10 抽象代数
代数结构
特殊元素
代数结构间的关系
单元10测验
11 形式语言与自动机:基本概念
形式语言
形式语法分类
单元11测验
12 形式语言与自动机-有限状态机
状态图
商机器
带输出的机器
单元12测验
13 形式语言与自动机-图灵机与计算理论
图灵机
通用图灵机
停机问题
单元13测试

预备知识

本课程面向广大理工科专业的本科生及相关IT行业从业人士,介绍计算机科学和信息技术理论基础的概念和思想方法。
先修过"高等数学"、"计算概论"、"数据结构与算法"等理科基础课程最好,但这些先修课并不是必须的,有基本数理概念也可以选修本课程。

参考资料

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica}本课教材:[O158/75]计算机科学中的离散结构,王元元, 张桂芸编著,机械工业出版社 2004

常见问题

Q :  本课为什么叫做“概论”呢?
A :  计算机软件专业并没有一门课叫做“离散数学”,它是一系列课程的总称,所以本课让非计算机专业人士能够以最短时间来了解和掌握计算机理论基础的概念,并掌握相关思想方法,一览全貌,以便作为进一步深入学习计算机类相关课程的敲门砖。
Q :  离散数学对学计算机编程有好处吗?
A :  当然了!在学编程入门后,如果要继续深入,最好有离散数学的理论基础作为知识底子,你会发现后劲十足。
Q :  高中生也能学习吗?
A :  学有余力的高中生,对计算机感兴趣的话,完全可以学习本课。
Q :  为什么说“本课还能够帮助你理解和欣赏一些经典的科幻作品”?
A :  我们在北京大学的线下课程里,经常会给大家推荐一些科幻小说和科幻电影,里面都经常看到离散数学概念的应用呢。

FutureLearn US
声明:MOOC中国十分重视知识产权问题,我们发布之课程均源自下列机构,版权均归其所有,本站仅作报道收录并尊重其著作权益。感谢他们对MOOC事业做出的贡献!
  • Coursera
  • edX
  • OpenLearning
  • FutureLearn
  • iversity
  • Udacity
  • NovoEd
  • Canvas
  • Open2Study
  • Google
  • ewant
  • FUN
  • IOC-Athlete-MOOC
  • World-Science-U
  • Codecademy
  • CourseSites
  • opencourseworld
  • ShareCourse
  • gacco
  • MiriadaX
  • JANUX
  • openhpi
  • Stanford-Open-Edx
  • 网易云课堂
  • 中国大学MOOC
  • 学堂在线
  • 顶你学堂
  • 华文慕课
  • 好大学在线CnMooc
  • (部分课程由Coursera、Udemy、Linkshare共同提供)

© 2008-2019 MOOC.CN 慕课改变你,你改变世界