离散数学

出版时间：2011-1  出版社：机械工业出版社  作者：邱学绍 编  页数：280  

前言

离散数学是计算机科学与技术专业（计算机科学、计算机工程、软件和信息技术等专业）的核心课程，是教育部2009年《高等学校计算机科学与技术专业核心课程教学实施方案》中8门核心课程之一，在专业教学体系中起到重要的基础理论支撑作用。本书自2005年9月出版以来，在将近五年的时间里，得到了广大读者的支持和关注，也承蒙许多高等学校的厚爱，选作教科书。期间，广大同仁提出了许多宝贵意见，编者在多次的讲授中积累了更多经验，在此基础上编写了第2版。本书在内容安排上仍然秉承以下特点：其一，由浅入深，循序渐进；其二，在引入概念时力求用学生熟悉的例子引入抽象的数学概念，使初学者对抽象的数学概念有亲近感，以方便他们理解和接受；其三，在每章节结尾安排的例题解析使学生能够及时巩固和深化所学知识。由于离散数学有内容抽象、概念多、定理多等特点，为了使离散数学知识更易于接受，也希望学生不为这些特点所困惑，编者对本书在以下方面作出调整：（1）对代数结构的内容作了较大的调整。将原书中的代数系统与特殊的代数系统合并为一章，并减少了较难的一些内容，以使代数系统内容更通俗，更便于教与学。（2）对原书的章节作了一些调整。为了使知识更系统，将原书的第2、3两章放在最前面作为第1、2章，而将原书第1章改成了第3章，使本书的章节依次是：命题逻辑、谓词逻辑、集合论、关系、函数、图论基础、特殊图类、代数系统、格和布尔代数。（3）增加了习题答案与提示。本书初版中编有习题，但未提供答案，一些同仁和读者曾向主编索取未公开出版的习题题解。本次修订，经编者讨论后，除对习题作了一些调整和补充外，同时也附上了部分习题参考答案与提示。

内容概要

本书系统地介绍了离散数学的经典内容，全书分为9章，分别介绍了命题逻辑、谓词逻辑、集合论、关系、函数、图论基础、特殊图类、代数系统、格和布尔代数。每节都有精选习题，书后有部分习题参考答案与提示。本书在内容安排上循序渐进、通俗易懂、结构严谨、便于自学，适合计算机及相关专业本、专科学生作为教材，也可供一般科技人员参考。

书籍目录

第二版前言第一章　命题逻辑第二章　谓词逻辑第三章　集合论第四章　关系第五章　函数第六章　图论基础第七章　特殊图类第八章　代数系统第九章　格和布代尔数参考文献

章节摘录

插图：逻辑学主要分为辩证逻辑学和形式逻辑学，前者是以辩证法认识论的世界观为基础的逻辑学，而后者是以思维形式结构及其规律进行研究的类似语法的一门工具性学科。思维的形式结构包括概念、判断和推理。其中，概念是思维的基本单位；判断是通过概念对事物是否具有某种属性进行肯定或否定的回答；由一个或者几个判断推出另一个判断的思维过程就是推理。研究推理有很多方法，其中用数学方法来研究推理的规律的科学统称为数理逻辑，这里所谓的数学方法就是引进一套符号体系的方法，所以数理逻辑也叫符号逻辑。数理逻辑与数学的其他分支、计算机科学与技术、人工智能、语言学等学科均有密切联系。本书主要介绍数理逻辑最基本的内容：命题逻辑和谓词逻辑。本章介绍命题逻辑。

编辑推荐

《离散数学(第2版)》：普通高等教育“十二五”规划教材

用户评论 (总计1条)

•   书有点灰尘