1
绪言离散数学 （又称 计算机数学 ）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。
离散数学 以是研究,离散量的结构和相互之间的关系 为主要目标，其研究对象一般为,有限或可数个元素（例如：自然数、整数、真假值、
有限个结点等）,而离散性也是计算机科学的显著特点。
2
绪言离散数学 与计算机科学的其他课程如：数据结构、操作系统、编译原理、算法分析、
逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的先导和基础课程。
3
,离散数学,
上海科学技术文献出版社
左孝凌等编著
,离散数学,
电子工业出版社
朱一清 编著
,离散数学,
北京大学出版社
耿素云、屈婉玲、方新贵编著主要参考书
4
绪言本课程根据大纲的内容和相关独立性，可分为四大部分第一部分 数理逻辑 （书上第一 篇）包括第一章：命题逻辑和第二章：谓词逻辑第二部分 集合论 （书上
（第二篇）：第三章：集合与关系；第四章：函数 ）
第三部分 代数系统 (书上
（第三篇）：第五章,代数结构； 第六章：格和布尔代数 )
第四部分 图 论 （书
（第四篇）：第七章,图论）
讲课时数,64小时如果时间允许，我们会增加离散数学在计算机中的应用（形式语言与自动机、纠错码等等）
5
绪言本课程有二个特点：
（１）定义、定理多。
本课内容＝ （定义） ＋ （定理） ＋ （例题）
（２）课外作业较多，没有上机实验。
为了学好这门课，特提出三点要求：
弄懂定义、定理，弄懂例题，加深对定义、定理的理解；
在复习基础上，做好课外作业。同学之间可以讨论，
但要弄懂弄通后再做。
做好课堂笔记、讲课内容和次序，从系统角度讲和讲义大致相同，但内容上可能有一些不同。
6
绪言最后，做两点说明和一个要求：
（ 1）考试内容以课堂上讲的为范围；
（ 2）每次课后均布置作业。希望大家认真完成。
一要求,为搞好教学，双方努力。
7
第一篇 数理逻辑逻辑学：研究思维形式及思维规律的科学。
逻辑学分为二类：
辩证逻辑,是研究事物发展的客观规律 。
形式逻辑,对思维的形式结构和规律进行研究。
数理逻辑,是用数学的方法研究概念、判断和推理的科学,显然数理逻辑是属于形式逻辑的范畴。
8
第一篇 数理逻辑在数理逻辑中,用数学的方法是指引进一套符号体系的方法来研究概念、判断和推理 。 即对符号进行判断和推理 。
数理逻辑分为四大分支：证明论、模型论、递归论和公理集合论。我们这里介绍的是属于四大分支的共同基础 —— 古典数理逻辑 (命题逻辑和谓词逻辑 )。
绪言离散数学 （又称 计算机数学 ）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。
离散数学 以是研究,离散量的结构和相互之间的关系 为主要目标，其研究对象一般为,有限或可数个元素（例如：自然数、整数、真假值、
有限个结点等）,而离散性也是计算机科学的显著特点。
2
绪言离散数学 与计算机科学的其他课程如：数据结构、操作系统、编译原理、算法分析、
逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的先导和基础课程。
3
,离散数学,
上海科学技术文献出版社
左孝凌等编著
,离散数学,
电子工业出版社
朱一清 编著
,离散数学,
北京大学出版社
耿素云、屈婉玲、方新贵编著主要参考书
4
绪言本课程根据大纲的内容和相关独立性，可分为四大部分第一部分 数理逻辑 （书上第一 篇）包括第一章：命题逻辑和第二章：谓词逻辑第二部分 集合论 （书上
（第二篇）：第三章：集合与关系；第四章：函数 ）
第三部分 代数系统 (书上
（第三篇）：第五章,代数结构； 第六章：格和布尔代数 )
第四部分 图 论 （书
（第四篇）：第七章,图论）
讲课时数,64小时如果时间允许，我们会增加离散数学在计算机中的应用（形式语言与自动机、纠错码等等）
5
绪言本课程有二个特点：
（１）定义、定理多。
本课内容＝ （定义） ＋ （定理） ＋ （例题）
（２）课外作业较多，没有上机实验。
为了学好这门课，特提出三点要求：
弄懂定义、定理，弄懂例题，加深对定义、定理的理解；
在复习基础上，做好课外作业。同学之间可以讨论，
但要弄懂弄通后再做。
做好课堂笔记、讲课内容和次序，从系统角度讲和讲义大致相同，但内容上可能有一些不同。
6
绪言最后，做两点说明和一个要求：
（ 1）考试内容以课堂上讲的为范围；
（ 2）每次课后均布置作业。希望大家认真完成。
一要求,为搞好教学，双方努力。
7
第一篇 数理逻辑逻辑学：研究思维形式及思维规律的科学。
逻辑学分为二类：
辩证逻辑,是研究事物发展的客观规律 。
形式逻辑,对思维的形式结构和规律进行研究。
数理逻辑,是用数学的方法研究概念、判断和推理的科学,显然数理逻辑是属于形式逻辑的范畴。
8
第一篇 数理逻辑在数理逻辑中,用数学的方法是指引进一套符号体系的方法来研究概念、判断和推理 。 即对符号进行判断和推理 。
数理逻辑分为四大分支：证明论、模型论、递归论和公理集合论。我们这里介绍的是属于四大分支的共同基础 —— 古典数理逻辑 (命题逻辑和谓词逻辑 )。
