离散数学及其应用（原书第6版·本科教学版）

作者: [美] 罗森（Kenneth H.Rosen）著 , 陈琼编 , 袁崇义译

出版社: 机械工业出版社

出版时间: 2011-11

版次: 1

ISBN: 9787111359500

定价: 49.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 354页

正文语种: 简体中文

原版书名: Discrete Mathematics and Its Applications，Sixth Edition

丛书: 计算机科学丛书

分类: 教材教辅考试>教材>大学教材>计算机与互联网

288人买过

《离散数学及其应用（原书第6版）（本科教学版）》是经典的离散数学教材，为全球多所大学广为采用。《计算机科学丛书：离散数学及其应用（原书第6版·本科教学版）》全面而系统地介绍了离散数学的理论和方法，除包括定义、定理的严密陈述外，还配备大量的实例和图表的说明、各种练习和题目。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。
《计算机科学丛书：离散数学及其应用（原书第6版·本科教学版）》可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。 KennethH.Rosen，密歇根大学数学学士，麻省理工学院数学博士，曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学，后加盟贝尔实验室，现为AT&T实验室特别成员。除本书外，他还著有《初等数论及其应用》等书，并担任CRC离散数学丛书的主编。出版者的话
改编者序
译者序
前言
第1章基础：逻辑和证明
1.1命题逻辑
1.1.1引言
1.1.2命题
1.1.3条件语句
1.1.4复合命题的真值表
1.1.5逻辑运算符的优先级
1.1.6翻译语句
1.1.7系统规范说明
1.1.8布尔检索
1.1.9逻辑难题
1.1.10逻辑运算和位运算
练习
1.2命题等价
1.2.1引言
1.2.2逻辑等价
1.2.3德摩根律的运用
1.2.4构建新的逻辑等价式
练习
1.3谓词和量词
1.3.1引言
1.3.2谓词
1.3.3量词
1.3.4其他量词
1.3.5约束论域量词
1.3.6量词的优先级
1.3.7绑定变量
1.3.8涉及量词的逻辑等价
1.3.9否定量化表达式
1.3.10翻译语句为逻辑表达式
1.3.11在系统说明中运用量词
1.3.12选自LewisCarroll的例子
1.3.13逻辑程序设计
练习
1.4嵌套量词
1.4.1引言
1.4.2量词的顺序
1.4.3将数学语句翻译成涉及嵌套量词的语句
1.4.4将嵌套量词翻译为汉语
1.4.5将汉语语句翻译成逻辑表达式
1.4.6否定嵌套量词
练习
1.5推理规则
1.5.1引言
1.5.2命题逻辑的有效论证
1.5：3命题逻辑的推理规则
1.5.4用推理规则建立论证
1.5.5消解
1.5.6谬误
1.5.7带量词命题的推理规则
1.5.8命题推理和量化语句推理规则的结合
练习
1.6证明导论
1.6.1引言
1.6.2一些专用术语
1.6.3定理陈述的理解
1.6.4证明定理的方法
1.6.5直接证明
1.6.6反证法
1.6.7归谬证明
1.6.8证明中的错误
1.6.9仅仅是开始
练习
1.7证明的方法和策略
1.7.1引言
1.7.2穷举证明和分情形证明
1.7.3存在性证明
1.7.4唯一性证明
1.7.5证明策略
1.7.6寻找反例
1.7.7行动证明策略
1.7.8填充
1.7.9未解决问题的作用
1.7.10其他证明方法
练习
关键术语和结果
复习题
补充练习
计算机题目
计算和研究
写作题目

第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.3.4函数的图像
2.3.5几个重要的函数
练习
2.4序列与求和
2.4.1引言
2.4.2序列
2.4.3特殊的整数序列
2.4.4求和
2.4.5基数
练习
关键术语和结果
复习题
补充练习
计算机题目
计算和研究
写作题目

第3章计数
3.1计数基础
3.1.1引言
3.1.2基本的计数原则
3.1.3比较复杂的计数问题
3.1.4容斥原理
3.1.5树图
练习
3.2鸽巢原理
3.2.1引言
3.2.2广义鸽巢原理
3.2.3巧妙使用鸽巢原理
练习
3.3排列与组合
3.3.1引言
3.3.2排列
3.3.3组合
练习
3.4二项式系数
3.4.1二项式定理
3.4.2帕斯卡恒等式和三角形
……

第4章高级计数技术
第5章关系
第6章图
第7章树
练习题答案
内容简介:
《离散数学及其应用（原书第6版）（本科教学版）》是经典的离散数学教材，为全球多所大学广为采用。《计算机科学丛书：离散数学及其应用（原书第6版·本科教学版）》全面而系统地介绍了离散数学的理论和方法，除包括定义、定理的严密陈述外，还配备大量的实例和图表的说明、各种练习和题目。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。
《计算机科学丛书：离散数学及其应用（原书第6版·本科教学版）》可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。
作者简介:
KennethH.Rosen，密歇根大学数学学士，麻省理工学院数学博士，曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学，后加盟贝尔实验室，现为AT&T实验室特别成员。除本书外，他还著有《初等数论及其应用》等书，并担任CRC离散数学丛书的主编。
目录:
出版者的话
改编者序
译者序
前言
第1章基础：逻辑和证明
1.1命题逻辑
1.1.1引言
1.1.2命题
1.1.3条件语句
1.1.4复合命题的真值表
1.1.5逻辑运算符的优先级
1.1.6翻译语句
1.1.7系统规范说明
1.1.8布尔检索
1.1.9逻辑难题
1.1.10逻辑运算和位运算
练习
1.2命题等价
1.2.1引言
1.2.2逻辑等价
1.2.3德摩根律的运用
1.2.4构建新的逻辑等价式
练习
1.3谓词和量词
1.3.1引言
1.3.2谓词
1.3.3量词
1.3.4其他量词
1.3.5约束论域量词
1.3.6量词的优先级
1.3.7绑定变量
1.3.8涉及量词的逻辑等价
1.3.9否定量化表达式
1.3.10翻译语句为逻辑表达式
1.3.11在系统说明中运用量词
1.3.12选自LewisCarroll的例子
1.3.13逻辑程序设计
练习
1.4嵌套量词
1.4.1引言
1.4.2量词的顺序
1.4.3将数学语句翻译成涉及嵌套量词的语句
1.4.4将嵌套量词翻译为汉语
1.4.5将汉语语句翻译成逻辑表达式
1.4.6否定嵌套量词
练习
1.5推理规则
1.5.1引言
1.5.2命题逻辑的有效论证
1.5：3命题逻辑的推理规则
1.5.4用推理规则建立论证
1.5.5消解
1.5.6谬误
1.5.7带量词命题的推理规则
1.5.8命题推理和量化语句推理规则的结合
练习
1.6证明导论
1.6.1引言
1.6.2一些专用术语
1.6.3定理陈述的理解
1.6.4证明定理的方法
1.6.5直接证明
1.6.6反证法
1.6.7归谬证明
1.6.8证明中的错误
1.6.9仅仅是开始
练习
1.7证明的方法和策略
1.7.1引言
1.7.2穷举证明和分情形证明
1.7.3存在性证明
1.7.4唯一性证明
1.7.5证明策略
1.7.6寻找反例
1.7.7行动证明策略
1.7.8填充
1.7.9未解决问题的作用
1.7.10其他证明方法
练习
关键术语和结果
复习题
补充练习
计算机题目
计算和研究
写作题目

第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.3.4函数的图像
2.3.5几个重要的函数
练习
2.4序列与求和
2.4.1引言
2.4.2序列
2.4.3特殊的整数序列
2.4.4求和
2.4.5基数
练习
关键术语和结果
复习题
补充练习
计算机题目
计算和研究
写作题目

第3章计数
3.1计数基础
3.1.1引言
3.1.2基本的计数原则
3.1.3比较复杂的计数问题
3.1.4容斥原理
3.1.5树图
练习
3.2鸽巢原理
3.2.1引言
3.2.2广义鸽巢原理
3.2.3巧妙使用鸽巢原理
练习
3.3排列与组合
3.3.1引言
3.3.2排列
3.3.3组合
练习
3.4二项式系数
3.4.1二项式定理
3.4.2帕斯卡恒等式和三角形
……

第4章高级计数技术
第5章关系
第6章图
第7章树
练习题答案