图书简介：

内容提要：

图书目录：

图书简介：

作/译者：(外国)(Rosen) 袁崇义出版社：机械工业出版社

出版日期：2002年01月ISBN：9787111075776 [十位:7111075773]

页数：801 重约：1.281KG

定价：￥75.00

旧书普通用户价：￥30.00 为您节省：￥45.00

旧书VIP用户价：￥27.00 为您节省：￥48.00

内容提要：

本书介绍了离散数学的理论和方法,内容涉及数学推理、组合分析、离散结构和算法设计。本书取材极其广泛,除包括定义、定理的严密陈述外,还配备大量的实例和图、表的说明,适合各种需求的练习和题目,以及丰富的历史资料和网站资源。本书的第3版曾被全世界几百所大学选为教材,第4版作了新的改进和补充。本书适合于数学、计算机科学和工程技术专业人员使用。

图书目录：

第l章 基础:逻辑、集合和函数

1.1 逻辑

1.1.1 引言

1.1.2 命题

1.1.3 翻译语言的句子

1.1.4 布尔检索

l. 1.5 逻辑运算和位运算练习

1.2 命题等价

1. 2.1 引言

1.2.2 逻辑等价练习

1.3 谓词和量词

1.3.1 引言

1.3.2 量词

1.3.3 翻译语句为逻辑表达式

1.3.4 选自Lewis Carroll的例子(选读)

1.3.5 绑定变量

1.3.6 否定练习

1.4 ... [显示全部]