成功加入购物车
[美] 罗森 (Kenneth H.Rosen) 著; 陈琼 编; 袁崇义 译 / 机械工业出版社 / 2011-11 / 平装
售价 ¥ 2.50
品相 八五品
上书时间2024-05-23
离散数学及其应用(原书第6版·本科教学版)
《离散数学及其应用(原书第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章树练习题答案
展开全部
图2
图3
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30