基本信息
- 作者： 王卫红、李曲、郑宇军、沈瑛、张永良
- 丛书名： 高等院校信息技术规划教材
- 出版社：清华大学出版社
- ISBN：9787302335238
- 上架时间：2015-3-27
- 出版日期：2014 年8月
- 开本：16开
- 版次：1-2
- 所属分类：数学 > 代数，数论及组合理论 > 离散数学
教材 > 研究生/本科/专科教材 > 理学 > 数学
内容简介
目录
第1章命题逻辑1
1.1命题及联结词1
1.1.1命题的概念1
1.1.2原子命题和复合命题3
1.1.3联结词3
1.2命题的合式公式和翻译6
1.2.1命题公式6
1.2.2命题公式的翻译7
1.2.3真值表8
1.3公式的等价和蕴含10
1.3.1永真式、永假式和可满足式10
1.3.2等价式和常用的等价式10
1.4全功能联结词集合13
1.5对偶与范式14
1.5.1对偶定义14
1.5.2对偶定理14
1.5.3析取范式和合取范式15
1.5.4主析取范式和主合取范式16
1.6推理理论20
1.6.1蕴含式20
1.1命题及联结词1
1.1.1命题的概念1
1.1.2原子命题和复合命题3
1.1.3联结词3
1.2命题的合式公式和翻译6
1.2.1命题公式6
1.2.2命题公式的翻译7
1.2.3真值表8
1.3公式的等价和蕴含10
1.3.1永真式、永假式和可满足式10
1.3.2等价式和常用的等价式10
1.4全功能联结词集合13
1.5对偶与范式14
1.5.1对偶定义14
1.5.2对偶定理14
1.5.3析取范式和合取范式15
1.5.4主析取范式和主合取范式16
1.6推理理论20
1.6.1蕴含式20
前言
离散数学是现代数学的重要分支，也是计算机科学的重要理论基础。离散数学作为应用计算机求解实际问题的重要工具，在离散建模中具有重要的意义。随着计算机技术的日益普及，越来越多的行业开始采用计算机解决实际问题，学习和掌握离散建模的重要性日益凸显。学好离散数学，不仅能为计算机相关专业的学生后续课程的学习打下坚实的基础，也能培养学生的逻辑推理和抽象思维能力，为学生今后从事相关专业的学习和工作打下坚实的数学基础。
离散数学的主要研究对象是计算机相关学科中离散量的结构及其相互关系。本书主要包括数理逻辑、集合与函数、代数系统及布尔代数、图论等主要内容，内容涵盖计算机科学技术中常用的离散结构的数学基础。本书在注重离散数学体系的基础上，强化证明思想和方法的介绍，在讲解基本内容及基本概念的时候尽可能结合实例，重视理论和方法的实用性。本书除在每章中增加了一些实例的讲解和习题之外，还专门在第8章讨论了数理逻辑、集合论、代数系统以及图论在计算机科学中的应用。
本书系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识。全书共8章，第1章介绍命题及命题逻辑，第2章介绍谓词逻辑及其推理理论，第3章介绍集合与关系的基本概念和性质，第4章介绍函数，第5章介绍代数系统，第6章介绍格与布尔代数，第7章介绍图论的基本概念及其性质，第8章介绍离散数学在计算机科学中的一些具体应用。
本书适合作为高等学校计算机专业及相关专业的本科生教材，也可以供对离散数学有兴趣的读者自学。
限于作者水平，书中不当之处在所难免，恳请读者批评指正。
编者[]2013年8月
离散数学的主要研究对象是计算机相关学科中离散量的结构及其相互关系。本书主要包括数理逻辑、集合与函数、代数系统及布尔代数、图论等主要内容，内容涵盖计算机科学技术中常用的离散结构的数学基础。本书在注重离散数学体系的基础上，强化证明思想和方法的介绍，在讲解基本内容及基本概念的时候尽可能结合实例，重视理论和方法的实用性。本书除在每章中增加了一些实例的讲解和习题之外，还专门在第8章讨论了数理逻辑、集合论、代数系统以及图论在计算机科学中的应用。
本书系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识。全书共8章，第1章介绍命题及命题逻辑，第2章介绍谓词逻辑及其推理理论，第3章介绍集合与关系的基本概念和性质，第4章介绍函数，第5章介绍代数系统，第6章介绍格与布尔代数，第7章介绍图论的基本概念及其性质，第8章介绍离散数学在计算机科学中的一些具体应用。
本书适合作为高等学校计算机专业及相关专业的本科生教材，也可以供对离散数学有兴趣的读者自学。
限于作者水平，书中不当之处在所难免，恳请读者批评指正。
编者[]2013年8月
