购物车
相关商品推荐
·赢在用户
·CSS网站布局实录第2版
·搜索引擎营销
·Java编程思想（第4版
·CSS禅意花园
·XML HACKS 10
·JAVA JDK6学习笔
·Java编程思想（英文版
·Ajax模式与最佳实践
·Excel实战技巧精粹(
特价促销商品
您最近的浏览历史
暂无浏览历史离散数学
点击查看大图
出 版 社：
机械工业出版社
- 出版时间：2004-1-1
- ISBN：7111137256
- 销售状态：在销
定价：￥31.00
时代网价：￥26.35 折扣：85折 节省：￥4.65
配送区域：成都市区免费送货上门、货到付款；四川其它地区送货上门、货到付款。全国范围内使用支付宝支付，先收货，后付款，安全方便（支付宝信任商家）。查看具体配送区域
 |
 |
 |
 |
购买过此商品的顾客还购买过
关注过此商品的顾客还关注过
内容简介
本书系统介绍了数理逻辑、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明方法及离散数学在计算机中的应用，并给出了大量的例子和应用实例。 本书可作为工科院校有关专业学生的必修课教材，也适用于计算机专业的科技人员及学生使用。
目录介绍
出版说明
前言
第1篇 预备知识
第1章 集合基础
1.1 集合与子集
1.2 集合的运算
1.3 无限集的基本概念
1.4 有限集合的计数
1.5 习题
第2章 序列（有序组）
2.1 序列与子序列
2.2 序列的运算
2.3 习题
第3章 整数中的除法
3.1 整除
3.2 最大公因子
3.3 最小公部数
3.4 习题
第4章 矩阵的基础知识
4.1 矩阵的定义
4.2 矩阵的运算及性质
4.3 布尔矩阵及运算
4.4 习题
第2篇 数理逻辑
第5章 命题逻辑
5.1 命题与命题联结词
5.2 命题公式、解释与真值表
5.3 联结词的完备集
5.4 范式
5.5 命题逻辑的推理论
5.6 习题
第6章 谓词逻辑
6.1 谓词逻辑中的基本概念与表示
6.2 谓词公式与解释
6.3 范式
6.4 谓词演算的演绎与推理
6.5 习题
第7章 数理逻辑在计算机科学中的应用
7.1 命题逻辑在计算机科学中的应用
7.2 谓词逻辑在计算机科学中的应用
第3篇 二元关系
第8章 二元关系
第9章 特殊关系
第10章 函数
第11章 关系在计算机科学中的应用
第4篇 图论
第12章 图
第13章 特殊图
第14章 图论在计算机科学中的应用
第5篇 代数系统与布尔代数
第15章 代数系统
第16章 群论
第17章 环与域
第18章 格与布尔代数
第19章 代数系统的应用
前言
第1篇 预备知识
第1章 集合基础
1.1 集合与子集
1.2 集合的运算
1.3 无限集的基本概念
1.4 有限集合的计数
1.5 习题
第2章 序列（有序组）
2.1 序列与子序列
2.2 序列的运算
2.3 习题
第3章 整数中的除法
3.1 整除
3.2 最大公因子
3.3 最小公部数
3.4 习题
第4章 矩阵的基础知识
4.1 矩阵的定义
4.2 矩阵的运算及性质
4.3 布尔矩阵及运算
4.4 习题
第2篇 数理逻辑
第5章 命题逻辑
5.1 命题与命题联结词
5.2 命题公式、解释与真值表
5.3 联结词的完备集
5.4 范式
5.5 命题逻辑的推理论
5.6 习题
第6章 谓词逻辑
6.1 谓词逻辑中的基本概念与表示
6.2 谓词公式与解释
6.3 范式
6.4 谓词演算的演绎与推理
6.5 习题
第7章 数理逻辑在计算机科学中的应用
7.1 命题逻辑在计算机科学中的应用
7.2 谓词逻辑在计算机科学中的应用
第3篇 二元关系
第8章 二元关系
第9章 特殊关系
第10章 函数
第11章 关系在计算机科学中的应用
第4篇 图论
第12章 图
第13章 特殊图
第14章 图论在计算机科学中的应用
第5篇 代数系统与布尔代数
第15章 代数系统
第16章 群论
第17章 环与域
第18章 格与布尔代数
第19章 代数系统的应用
顾客评论 
（查看所有有关此商品的评论）
（查看所有有关此商品的评论）商品问答 
（查看所有问答）
（查看所有问答）
