-
内容大纲
本书是经典的离散数学教材,被全球数百所大学广为采用。本科教学版缩减了篇幅,保留的主要内容包括:逻辑和证明,集合、函数、序列、求和与矩阵,计数,关系,图,树,布尔代数。全书取材广泛,除包括定义、定理的严格陈述外,还配备大量的例题、图表、应用实例和练习。第8版做了与时俱进的更新,成为更加实用的教学工具。本书可作为高等院校数学、计算机科学和计算机工程等专业的教材,也可作为科技领域从业人员的参考书。 -
作者介绍
肯尼思·H.罗森(Kenneth H.Rosen),于1972年获密歇根大学安娜堡分校数学学士学位,1976年获麻省理工学院数学博士学位。Rosen曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学和蒙茅斯大学,教授离散数学、算法设计和计算机安全方面的课程;他还曾加盟贝尔实验室,并且是AT&T贝尔实验室的杰出技术人员。他的著作《初等数论及其应用》和《离散数学及其应用》均被翻译成多种语言,在全球数百所大学中广为采用。 -
目录
出版者的话
改编者序
译者序
前言
在线资源
致学生
作者简介
符号表
第1章 基础:逻辑和证明
1.1 命题逻辑
1.1.1 引言
1.1.2 命题
1.1.3 条件语句
1.1.4 复合命题的真值表
1.1.5 逻辑运算符的优先级
1.1.6 逻辑运算和比特运算
奇数编号练习
1.2 命题逻辑的应用
1.2.1 引言
1.2.2 语句翻译
1.2.3 系统规范说明
1.2.4 布尔搜索
1.2.5 逻辑谜题
1.2.6 逻辑电路
奇数编号练习
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.4.4 有限域上的量词
1.4.5 受限域的量词
1.4.6 量词的优先级
1.4.7 变量绑定
1.4.8 涉及量词的逻辑等价式
1.4.9 量化表达式的否定
1.4.10 语句到逻辑表达式的翻译
1.4.11 系统规范说明中量词的使用
1.4.12 选自路易斯·卡罗尔的例子
1.4.13 逻辑程序设计
奇数编号练习
1.5 嵌套量词
1.5.1 引言
1.5.2 理解涉及嵌套量词的语句
1.5.3 量词的顺序
1.5.4 数学语句到嵌套量词语句的翻译
1.5.5 嵌套量词到自然语言的翻译
1.5.6 汉语语句到逻辑表达式的翻译
1.5.7 嵌套量词的否定
奇数编号练习
……
第2章 基本结构:集合、函数、序列、求和与矩阵
第3章 计数
第4章 高级计数技术
第5章 关系
第6章 图
第7章 树
第8章 布尔代数
推荐读物(在线)
参考文献(在线)
奇数编号练习答案(在线)
同类热销排行榜
- 目送/人生三书
-
21世纪的《背影》 + 感人至深的“生死笔记”+ 龙应台亲手摄影 + 跨三代共读的人生之书! 华人世界率性犀利的一枝笔,龙应台独家...
- 顾城的诗(金版)(精)/蓝星诗库
- 人类群星闪耀时(插图本)/译林名著精选
- 牛津高阶英汉双解词典(附光盘第8版)(精)
- 文化苦旅(新版)
- 摆渡人
- 解忧杂货店(精)
- 骆驼祥子
- 曾国藩(又笨又慢平天下)
- 查令十字街84号(珍藏版)(精)
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...