文档介绍：离散数学命题逻辑
Introduction
数学是研究数量的科学
亚里士多得
数学的研究对象是客观世界的和逻辑可能的数量关系和结构关系
丁石孙
Discrete Continuous
0-1:About Math.
2
0-2:About Discrete Math.
计算机本身的结构和它处理的对象都是离散型的，所以计算机科学与技术本质上是一门离散数学技术。
“数字电路”、“编译原理”、“数据结构”、“操作系统”、“数据库系统”、“系统结构”、“容错判断”、“算法的分析与设计”、“逻辑程序设计”、“软件工程”、“人工智能”、“多媒体技术”、“计算机网络”、“信息管理”、“信号处理”、“模式识别”、“数据加密”、“机器定理证明”、“形式语言与自动机”等
离散数学研究离散（变）量的结构及其相互关系，是计算机科学的理论基础。
3
高等数学：从初等的思维方式带到基于工业革命的学科表达语言的富于创造性的思维方式
离散数学：带入信息革命的学科的表达语言中去发展和创造具有时代特点的先进的思维方式。
0-2:About Discrete Math.
4
0-2:About Discrete Math.
Introduction
The kind of problems solved using Discrete math. include:
How many ways are there to choose a valid password on a computer system?
Is there a link between two computers in a network?
What is the shortest path between two cities using a transportation system?
How can a circuit that adds two integers be designed?
How can a list of integers be sorted so that the integers are in increasing order?How many steps are required to do such a sorting? How can it be proved that a sorting algorithm correctly sorts a list? And so on.
5
学科特点
Introduction
(1)知识点集中，概念和定理多：《离散数学》是建立在大量概念之上的逻辑推理学科，概念的理解是我们学****这门学科的核心。掌握、理解和运用这些概念和定理是学好这门课的关键。要特别注意概念之间的联系，而描述这些联系的则是定理和性质。
(2)方法性强：课程对抽象思维能力要求较高，通过学****能大大提高学****者的逻辑推理能力、抽象思维能力和形式思维能力。课程证明题多，方法灵活，在平时的学****中，要勤于思考，善于总结，多于练****br/>6
教材与教学参考书
教材：
耿素云、屈婉玲、张立昂，离散数学（第四版），清华大学出版社, 2008.
教学参考书：
屈婉玲、耿素云、张立昂，离散数学题解（第三版），清华大学出版社，2008.
7
参考书目
《离散数学》，左孝凌著，上海科技文献出版社；
《Discrete Mathematics and Its Applications》 (英文Fifth Edition), Kenneth ，***出版社；
8
考核方法
1．平时成绩：占总成绩的50%
出勤，作业，听课情况，测验
2．期末考试：占总成绩的50%。
9
主要内容
数理逻辑
集合论
代数结构
图论
组合分析初步
形式语言和自动机初步
10