文档介绍：会计学
1
离散数学一
教师简介
1985年毕业于北京大学数学系计算数学专业
专业技术职务：教授、硕士导师
主讲课程：
计算机类——BASIC、FORTRAN、人工智能原理、C、C++、 PASCAL、Visual BASIC、程序设计方法学、 SQL server 2000、数据库系统概论、软件工程、 Visual FoxPro
数学类——数值分析、最优化计算方法、运筹学、离散数学、解题理论、图论及其应用
E-mail：wyh_******@
Tel : 665677
第1页/共198页
课程主要内容
第一部分 数理逻辑
第二部分 集合论
第三部分 代数系统
第四部分 图论
第2页/共198页
离散数学与计算机的关系
第一部分 数理逻辑
计算机是数理逻辑和电子学相结合的产物
第二部分 集合论
集合：一种重要的数据结构
关系：关系数据库的理论基础
函数：所有计算机语言中不可缺少的一部分
第三部分 代数系统
计算机编码和纠错码理论数字逻辑设计基础，计算机使用的各种运算
第四部分 图论
数据结构、操作系统、编译原理、计算机网络原理的基础
第3页/共198页
参考教材
1、《离散数学》 耿素云、屈婉玲、张立昂
清华大学出版社
2、《离散数学题解》 耿素云、屈婉玲、张立昂
清华大学出版社
3、《离散数学导论》 徐洁磐
高等教育出版社
4、《离散数学》 洪帆等编
电子工业出版社
5、《 离散数学》 李盘林等编
人民邮电出版社
第4页/共198页
学****要求
出勤
思考
笔记
作业
第5页/共198页
绪论
本课程是高校计算机专业学生的必修课之一，是计算机科学与技术专业的核心、骨干课程，也是数学、信息与计算科学、信息管理与信息系统等专业的专业基础课程，是计算机科学与技术的理论基础
该课程主要学****数理逻辑、集合论、代数结构、图论等四大方面的内容，包括：命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格与布尔代数、图论等
离散数学与计算机科学中的数据结构、操作系统、编译原理、算法分析、逻辑设计、系统结构等课程联系紧密
本课程重点在于培养和提高大学生的抽象思维、逻辑推理和概括能力，从而为以后专业课程的学****及工作需要打下基础
第6页/共198页
绪论
离散数学课程地位：
计算机专业（核心课程）
信息类专业（必修课程）
其它类专业（重要选修课程）
离散数学的后继课程：
数据结构、操作系统、
算法分析与设计、
数据库、C++语言……
第7页/共198页
绪论
离散数学课程的学****方法:
强调：逻辑性、抽象性；
注重：概念、方法与应用
离散数学的学****要领：
概念（正确） 必须掌握好离散数学中大量的
概念
判断（准确） 根据概念对事物的属性进行判断
推理（可靠） 根据多个判断推出一个新的判断
第8页/共198页
例1：
说谎者与说真话者问题：N夫妇晚上出门，邀请了W小姐照看他们的4个孩子。在N夫妇离家以前，向W小姐交待了许多注意事项，其中包括4个孩子的情况。N夫妇说他们的4个孩子中只有一个孩子总是说真话，另外3个则总是说谎。N夫妇告诉了W小姐说真话的孩子的名字，但由于注意事项太多，W小姐把名字忘记了。当她在为孩子们准备晚饭时，一个孩子在邻室打碎了一个花瓶。
这是孩子们的话：
B说：是S干的。
S说：是J干的。
L说：不