(特价书)离散数学

书籍
数学书籍
　　 “离散数学”是现代数学的一个重要分支，也是计算机科学与技术、电子信息技术、生物技术等专业的理论基础。《离散数学》由六部分组成，首先将离散数学的体系结构分为以下五个主要部分：数理逻辑、集合与关系、数论与组合论、图论、代数结构，第六部分介绍离散数学在计算机科学中的一些典型应用。《离散数学》在每章后面配备了相当数量的难易程度不同的练习题，并在附录中给出了几套模拟试题，供读者进行自测。《离散数学》内容丰富，条理清晰，层次分明，逻辑性强，阐述深入浅出，适合作为高？院校计算机和软件工程专业及相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考。
　　

前言
第一部分 数理逻辑
第1章 命题逻辑
1.1 命题与逻辑联结词
1.2 命题公式及其赋值
1.3 命题公式的等价
1.4 联结词的完备集
1.5 命题公式的范式表示
1.6 命题公式的蕴涵
1.7 命题逻辑的推理方法
习题一
第2章 一阶谓词逻辑
2.1 量词化逻辑
2.2 谓词公式及其赋值
？2.3 谓词公式的等价与范式表示
2.4 谓词公式的蕴涵
2.5 谓词逻辑的推理方法
习题二
第二部分 集合与关系
第3章 集合代数

　　 “离散数学”是现代数学的一个重要分支，也是计算机科学与技术、电子信息技术、生物技术等专业的核心基础课程。它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时,还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后处理离散信息以及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具。
　　《离散数学》是在四川大学老一辈名师吴子华、张一立、唐常杰所编《离散数学教程》和《离散数学》作者编写的“离散数学”讲义的基础上，结合计算机科学和现代数学发展的最新成果，以及作者多年从事“离散数学”精品课程的教学经验，充分听取广大学生对该课程的意见编写而成的。全书由六部分组成，首先将离散数学的体系结构分为五个主要部分：数理逻辑、集合与关系、数论与组合论、图论、代数结构。第六部分是离散数学在计算机科学中的一些典型应用。《离散数学》内容丰富，条理清晰，层次分明，逻辑性强，阐述深入浅出，每章后都配有大量难易程度不同的练习题，不仅适合作为普通高等院校计算机和软件工程专业及相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考。
　　根据我们的经验，使用《离散数学》可在110学时内完成全部教学任务（第六部分除外）。
　　《离散数学》的第1章至第6章、第18章的18.2节和18.3节由冯伟森编写；第7章至第9章、第14章至第17章由栾新成编写；第10章至第13章由石兵编写；第18章的18.1节、18.4节、18.5节、18.6节和部分习题由陈瑜编写；最后，全书由冯伟森统稿。
　　在《离散数学》的编写过程中，我们参阅了大量的离散数学书籍和资料，在此向有关作者表示衷心的感谢。《离散数学》的编写得到了四川大学计算机学院、软件学院各级领导和课程组各位老师的关心和大力支持，特别是朱敏副院长一直以来对本教材的关心和支持，在此向他们表示诚挚的感谢。感谢使用本教材的四川大学2008级和2009级计算机科学与技术专业、软件工程专业的同学们，他们对本教材提出了不少宝贵意见。同时，感谢机械工业出版社华章分社的王璐和白宇两位编辑对《离散数学》顺利出版的大力支持。
　　 编者
　　 2010年11月