点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,自然科学,数学,高等数学,

作者： 周忠荣 主编，林伟初 等编

出 版 社： 清华大学出版社

出版时间： 2007-12-1字数： 453000版次： 1页数： 286印刷时间： 2007/12/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787302165743包装： 平装编辑推荐

本书特色：

阐述了离散数学的经典内容，包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论等方面的基本知识。

根据计算机科学各专业的需要选择内容、把握尺度，尽可能将离散数学知识和计算机科学中的实际问题相结合。

编排新颖，每章通过定义、定理、实例、例等形式将内容有机结合、融合贯通，达到学练兼顾的目的。

加入了机上实现内容，满足了普通高校理工类本科生的实际需求。

书末提供了离散数学常用符号、中英文名词术语对照表以及习题答案与提示，帮助读者学习理解。

内容简介

本书系统阐述了离散数学的经典内容，包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论等方面的基本知识。本书根据计算机科学各专业的需要选择内容、把握尺度，尽可能将离散数学知识和计算机科学中的实际问题相结合。本书编排新颖，每章通过定义、定理、实例、例等形式将内容有机结合、融会贯通，达到学练兼顾的目的。本书加入了机上实现内容，满足了普通高校理工类本科生的实际需求。

本书书末还提供了离散数学常用符号、中英文名词术语对照表、英中文名词术语对照表以及习题答案与提示，能很好地帮助读者理解和学习。

本书既可作为应用型本科和高职高专院校计算机科学各专业的教材，也可作为工程技术人员的参考书。

目录

第1章基础知识

1.1集合的初步知识

1.2数学归纳法

1.3整数的基本性质

1.3.1整除

1.3.2素数

1.3.3带余除法

1.3.4最大公约数

1.3.5最小公倍数

1.3.6模运算

1.3.7同余的应用

1.4序列的基本知识

1.4.1序列

1.4.2典型的整数序列

1.4.3序列求和

1.5计数

1.5.1加法原理和乘法原理

1.5.2排列与组合

1.5.3二项式定理

1.5.4鸽巢原理

1.6矩阵的初步知识

1.6.1矩阵的概念

1.6.2矩阵的加法和数乘

1.6.3矩阵的乘法

1.6.4转置矩阵和逆矩阵

1.7本章小结

1.8习题

第2章命题逻辑

2.1命题与联结词

2.1.1命题

2.1.2逻辑联结词

2.1.3联结词的优先级

2.1.4命题符号化

2.1.5逻辑运算在计算机中的直接运用

2.2命题公式与等价演算

2.2.1命题公式及其层次

2.2.2命题公式的赋值

2.2.3等价式与等价演算

2.2.4等价演算的实际应用

2.3联结词的扩充与联结词完备集

2.3.1联结词的扩充

2.3.2与非、或非、异或的性质

2.3.3联结词完备集

2.4范式

2.4.1析取范式与合取范式

2.4.2主析取范式与主合取范式

2.4.3主范式的作用

2.4.4用主范式解答实际问题

2.5命题逻辑推理

2.5.1推理的形式结构

2.5.2推理的证明方法

2.5.3命题逻辑推理的实际应用

2.6本章小结

2.7习题

第3章谓词逻辑

3.1谓词逻辑的基本概念

3.1.1个体和谓词

3.1.2量词

3.1.3特性谓词

3.1.4谓词逻辑符号化

3.2谓词公式与翻译

3.2.1谓词公式

3.2.2谓词逻辑的翻译

3.3变元的约束

3.3.1约束变元和自由变元

3.3.2约束变元的换名规则

3.3.3自由变元的代替规则

3.4谓词公式的解释与分类

3.4.1谓词公式的解释

3.4.2谓词公式的分类

3.5谓词逻辑的等价式和前束范式

3.5.1谓词逻辑等价式

3.5.2前束范式

3.6谓词逻辑推理

3.6.1推理定律

3.6.2推理规则

3.6.3谓词逻辑推理例题

3.7程序正确性证明

3.8本章小结

3.9习题

第4章集合

第5章关系

第6章代数系统

第7章图论

第8章算法与伪代码

附录A离散数学常用符号

附录B中英文名词术语对照表

附录C英中文名词术语对照表

附录D习题答案与提示

参考文献

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。