评论
关键信息
credit_card
免费进入
verified_user
收费证书
timer
39小时总数
关于内容
离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法,介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,介绍离散数学基本概念和空间信息技术之间的联系与结合,培养学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
more_horiz
查看更多
more_horiz
收起
dns
课程大纲
- 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
教师
陈斌
副教授
北京大学
store
内容设计师

北京大学致力于向中国和世界各地的学生开放教育。北京大学拥有 3000 多名教职员工,教学质量卓越。北京大学成立于 1898 年,是中国第一所国立综合性大学。
115 年来,北京大学拥有数十万杰出校友,在人文和科学领域为促进中国的繁荣与进步做出了突出贡献。
assistant
平台

Coursera是一家数字公司,提供由位于加利福尼亚州山景城的计算机教师Andrew Ng和达芙妮科勒斯坦福大学创建的大型开放式在线课程。
Coursera与顶尖大学和组织合作,在线提供一些课程,并提供许多科目的课程,包括:物理,工程,人文,医学,生物学,社会科学,数学,商业,计算机科学,数字营销,数据科学 和其他科目。
您是 MOOC 的设计者?
keyboard_arrow_left
grade
keyboard_arrow_right
整合评论系统