离散数学

出版时间：2006-9  出版社：清华大学出版社  作者：李俊锋、冯刚  页数：386  
Tag标签：无  

内容概要

本书较系统地介绍了计算机科学与技术专业的核心课程——离散数学的基本知识。全书分为经典数理逻辑、非经典数理逻辑、集合论、离散概率、抽象代数和图论6部分。经典数理逻辑包括命题逻辑和一阶逻辑；非经典数理逻辑包括模态命题逻辑和模态一阶逻辑；集合论包括集合的基本关系与运算、函数和关系；离散概率介绍离散概率的基本内容；抽象代数包括代数系统、群、环和域、格； 图论包括图的基本问题、树和特殊图。    本书内容丰富、概念清晰，叙述简洁而严谨，力求语言生动、深入浅出，诠释严格而灵活，避免纯粹公式化、抽象化，易于读者理解和接受。书中配有相当数量的例题和习题。    本书可作为高等院校计算机科学与技术专业的离散数学教材，也可供考研以及相关专业科研工作者参考。

书籍目录

第1章 命题逻辑  1.1 数理逻辑简介  1.2 命题及命题符号化  1.3 命题公式及命题符号化  1.4 公式的等价  1.5 公式的蕴涵  1.6 联结词完备集  1.7 公式的对偶  1.8 公式的范式  1.9 公式的主范式  1.10 命题逻辑推理理论  习题第2章 一阶逻辑  2.1 一阶逻辑简介  2.2 一阶逻辑的基本概念  2.3 一阶逻辑中命题的符号化  2.4 一阶逻辑公式及其解释  2.5 一阶逻辑公式的等价与蕴含  2.6 自由变元与约束变元  2.7 前束范式与Skolem标准形  2.8 一阶逻辑的推理理论  习题第3章 模态命题逻辑  3.1 模态命题逻辑简介  3.2 模态命题语言  3.3 模态命题逻辑推理  3.4 模态命题逻辑公式  习题第4章 模态一阶逻辑  4.1 模态一阶逻辑简介  4.2 模态一阶语言  4.3 模态一阶逻辑推理  4.4 模态一阶逻辑公式  习题第5章 集合的基本关系与运算  5.1 集合论简介  5.2 集合的基本概念  5.3 集合的运算  5.4 集合的覆盖与划分  习题第6章 函数  6.1 函数简介  6.2 函数的基本概念  6.3 函数的复合及逆函数  6.4 特征函数和模糊集简介  6.5 集合的基数  6.6 无限集合的性质  6.7 可数集合与不可数集合  6.8 函数的增长性  习题第7章 关系第8章 离散概率第9章 代数系统第10章 群第11章 环和域第12章 格第13章 图的基本问题第14章 树第15章 一些特殊的图附录A 与离散数学领域相关的一些著名数学家附录B 术语索引附录C 符号表参考文献

用户评论 (总计4条)

•   如题我是自学计算机相关专业课程的；一本好书能让人感受到学习的快乐，当然也事半功倍
•   清华大学出版社的教材质量很高
•   还可以，不过错误太多
•   如题 和那本最经典的版本比可读性差一点