图书简介：

文章节选：

内容提要：

图书简介：

作/译者：耿素云 屈婉玲等 出版社：清华大学出版社出版日期：1999年09月

ISBN：9787302037224 [十位:7302037221]

页数：234 重约：0.360KG

定价：￥16.80

旧书普通用户价：￥6.80 为您节省：￥10.00

旧书VIP用户价：￥6.40 为您节省：￥10.40

团购优惠价：￥5.80

文章节选：

第一章 命题逻辑数理逻辑是用数学方法来研究推理的形式结构和推理规律的数字学科,它与数学的其他分支、计算机科学、人工智能、语言学等学科均有密切的联系,并且日益显示出它的重要作用和更加广泛的应用前景,数理逻辑的内容相当丰富,大体可分为5部分,即:逻辑演算、证明论、公理集合论、递归论和模型论,在本书中,只介绍命题逻辑和一阶逻辑(谓词逻辑)的逻辑演算,对数理逻辑感兴趣的读者,可参阅有关专著。

内容提要：

本书是《离散数学(第二版)》(耿素云,屈婉玲,张立昂编著,清华大学出版社出版)一书的配套题解。全书含6个部分:1、数理逻辑;2、集合论;3、代数结构;4、图论;5、组合分析初步;6、形式语言和自动机初步。每部分均包含三方面内容。(1)内容提要;(2)与本部分配套的习题;(3)习题解答。书中对每道题都做了较详细的解答与分析。对某些题还给出了不同的解法或

图书目录：

第一章 命题逻辑

第二章 一阶逻辑

第三章 集合的基本概念和运算

第四章 二元关系和函数

第五章 代数系统的一般性质

第六章 几个典型的代数系统

第七章 图的基本概念

第八章 一些特殊的图

第九章 树

第十章 组合分析初步

第十一章 形式语言和自动

提出容易犯的错误及犯错误的原因。