新書推薦：
《
汉末晋初之际政治研究
》
售價：NT$
602.0
《
强者破局：资治通鉴成事之道
》
售價：NT$
367.0
《
鸣沙丛书·鼎革：南北议和与清帝退位
》
售價：NT$
551.0
《
从康德到黑格尔的发展：兼论宗教哲学（英国观念论名著译丛）
》
售價：NT$
275.0
《
突破不可能：用特工思维提升领导力
》
售價：NT$
352.0
《
王阳明大传：知行合一的心学智慧（精装典藏版）
》
售價：NT$
1010.0
《
失衡与重塑——百年变局下的中国与世界经济
》
售價：NT$
602.0
《
不被定义的年龄：积极年龄观让我们更快乐、健康、长寿
》
售價：NT$
352.0
|
| 編輯推薦： |
本书是介绍离散学理论和方法的经典教材，已经成为采用率最高的离散数学教材，仅在美国就600多所高校用作教材，获得了极大的成功。中文版也已被国内大学广泛采用为教材。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。
本书可作为1至2个学期的离散数学课入门教材，适用于数学、计算机科学、计算机工程、信息技术等专业的学生。
|
| 內容簡介： |
本书是经典的离散数学教材，为全球多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法，内容涉及数学推理、组合分析、离散结构、算法思维以及应用与建模。全书取材广泛，除包括定义、定理的严密陈述外，还配备大量的实例和图表的说明、各种练习和题目以及丰富的历史资料和网站资源。第6版在前五版的基础上做了大量的改进，使其成为更有效的数学工具。
本书可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。
|
| 關於作者： |
Rosen博士于1972年获密歇根大学数学学士学位，1976年获麻省理工学院数学博士学位，其博士论文研究的是数论，导师是Harold
Stark。曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学，后加盟贝尔实验室，现为AT＆T实验室特别成员。
他目前还是蒙矛斯大学客座研究教授，主要从事快速反应数据库项目的安全和保密方面的工作，同时教授密码应用课程。此外，他还是CRC出版社离散数学丛书的编辑顾问。
Rosen博士在专业期刊上发表过许多关于数论及数学建模的文章。《初等数论及其应用》和《离散数学及其应用》这两本书均被国际上几百所大学广为采用。
|
| 目錄：
|
出版者的话
译者序
前言
第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.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 大O记号
3.2.3 一些重要的大O结果
3.2.4 函数组合的增长
……
第4章 归纳与递归
第5章 计数
第6章 离散概率
第7章 高级计数技术
第8章 关系
第9章 图
第10章 树
第11章 布尔代数
第12章 计算模型
附录A 实数和正整数公理
附录B 指数函数和对数函数
附录C 伪代码
推荐读物
参考文献
奇数练习题答案
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
