计算机科学丛书:离散数学及其应用(原书第7版)

计算机科学丛书:离散数学及其应用(原书第7版)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] , , ,
2015-01
版次: 1
ISBN: 9787111453826
定价: 129.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 793页
正文语种: 简体中文
分类: 自然科学
525人买过
  •   《计算机科学丛书:离散数学及其应用(原书第7版)》是介绍离散数学理论和方法的经典教材,已经成为采用率高的离散数学教材,被美国众多名校用作教材,获得了极大的成功。中文版也已被国内大学广泛采用为教材。作者参考使用教师和学生的反馈,并结合自身对教育的洞察,对第7版做了大量的改进,使其成为更有效的教学工具。《计算机科学丛书:离散数学及其应用(原书第7版)》可作为1至2个学期的离散数学课入门教材,适用于数学、计算机科学、计算机工程、信息技术等专业的学生。   KennethH.Rosen,作为位于新泽西州蒙茅斯县的AT&T实验室杰出技术会员已经拥有一段很长的职业生涯。目前他在蒙茅斯大学任访问研究教授,为研究生讲授计算机科学课程。
      Rosen博士于1972年获得位于安娜堡的密歇根大学数学学士学位,1976年获得麻省理工学院数学博士学位,在哈罗德·斯塔克(HaroldStark)的指导下他撰写了数论方面的博士论文。1982年加入贝尔实验室之前,他曾就职于科罗拉多大学博尔德分校;哥伦布市的俄亥俄州立大学;在欧洛诺市的缅因大学任数学副教授。在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 引言
    l.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 谓词
    l.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.5 嵌套量词
    1.5.1 引言
    1.5.2 理解涉及嵌套量词的语句
    1.5.3 量词的顺序
    1.5.4 数学语句到嵌套量词语句的翻译
    1.5.5 嵌套量词到自然语言的翻译
    1.5.6 汉语语句到逻辑表达式的翻译
    1.5.7 嵌套量词的否定
    练习
    1.6 推理规则
    l.6.1 引言
    1.6.2 命题逻辑的有效论证
    1.6.3 命题逻辑的推理规则
    1.6.4 使用推理规则建立论证
    1.6.5 消解律
    1.6.6 谬误
    1.6.7 量化命题的推理规则
    1.6.8 命题和量化命题推理规则的组合使用
    练习
    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.8 证明的方法和策略
    1.8.1 引言
    1.8.2 穷举证明法和分情形证明法
    1.8.3 存在性证明
    1.8.4 唯一性证明
    1.8.5 证明策略
    1.8.6 寻找反例
    1.8.7 证明策略实践
    1.8.8 拼接
    1.8.9 开放问题的作用
    1.8.10 其他证明方法
    练习
    关键术语和结论
    复习题
    补充练习
    计算机课题
    计算和探索
    写作课题
    第2章 基本结构:集合、函数、
    序列、求和与矩阵
    2.1 集合
    2.1.1 引言
    2.1.2 文氏图
    2.1.3 子集
    2.1.4 集合的大小
    2.1.5 幂集
    2.1.6 笛卡儿积
    2.1.7 使用带量词的集合符号
    2.1.8 真值集和量词
    练习
    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.3.6 部分函数
    练习
    2.4 序列与求和
    2.4.l 引言
    2.4.2 序列
    2.4.3 递推关系
    2.4.4 特殊的整数序列
    2.4.5 求和
    练习
    2.5 集合的基数
    2.5.1 引言
    2.5.2 可数集
    ……
    第3章 算法
    第4章 数论和密码学
    第5章 归纳与递归
    第6章 计数
    第7章 离散概率
    第8章 高级计数技术
    第9章 关系
    第10章 图
    第11章 树
    第12章 布尔代数
    第13章 计算模型
    附录
  • 内容简介:
      《计算机科学丛书:离散数学及其应用(原书第7版)》是介绍离散数学理论和方法的经典教材,已经成为采用率高的离散数学教材,被美国众多名校用作教材,获得了极大的成功。中文版也已被国内大学广泛采用为教材。作者参考使用教师和学生的反馈,并结合自身对教育的洞察,对第7版做了大量的改进,使其成为更有效的教学工具。《计算机科学丛书:离散数学及其应用(原书第7版)》可作为1至2个学期的离散数学课入门教材,适用于数学、计算机科学、计算机工程、信息技术等专业的学生。
  • 作者简介:
      KennethH.Rosen,作为位于新泽西州蒙茅斯县的AT&T实验室杰出技术会员已经拥有一段很长的职业生涯。目前他在蒙茅斯大学任访问研究教授,为研究生讲授计算机科学课程。
      Rosen博士于1972年获得位于安娜堡的密歇根大学数学学士学位,1976年获得麻省理工学院数学博士学位,在哈罗德·斯塔克(HaroldStark)的指导下他撰写了数论方面的博士论文。1982年加入贝尔实验室之前,他曾就职于科罗拉多大学博尔德分校;哥伦布市的俄亥俄州立大学;在欧洛诺市的缅因大学任数学副教授。在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 引言
    l.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 谓词
    l.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.5 嵌套量词
    1.5.1 引言
    1.5.2 理解涉及嵌套量词的语句
    1.5.3 量词的顺序
    1.5.4 数学语句到嵌套量词语句的翻译
    1.5.5 嵌套量词到自然语言的翻译
    1.5.6 汉语语句到逻辑表达式的翻译
    1.5.7 嵌套量词的否定
    练习
    1.6 推理规则
    l.6.1 引言
    1.6.2 命题逻辑的有效论证
    1.6.3 命题逻辑的推理规则
    1.6.4 使用推理规则建立论证
    1.6.5 消解律
    1.6.6 谬误
    1.6.7 量化命题的推理规则
    1.6.8 命题和量化命题推理规则的组合使用
    练习
    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.8 证明的方法和策略
    1.8.1 引言
    1.8.2 穷举证明法和分情形证明法
    1.8.3 存在性证明
    1.8.4 唯一性证明
    1.8.5 证明策略
    1.8.6 寻找反例
    1.8.7 证明策略实践
    1.8.8 拼接
    1.8.9 开放问题的作用
    1.8.10 其他证明方法
    练习
    关键术语和结论
    复习题
    补充练习
    计算机课题
    计算和探索
    写作课题
    第2章 基本结构:集合、函数、
    序列、求和与矩阵
    2.1 集合
    2.1.1 引言
    2.1.2 文氏图
    2.1.3 子集
    2.1.4 集合的大小
    2.1.5 幂集
    2.1.6 笛卡儿积
    2.1.7 使用带量词的集合符号
    2.1.8 真值集和量词
    练习
    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.3.6 部分函数
    练习
    2.4 序列与求和
    2.4.l 引言
    2.4.2 序列
    2.4.3 递推关系
    2.4.4 特殊的整数序列
    2.4.5 求和
    练习
    2.5 集合的基数
    2.5.1 引言
    2.5.2 可数集
    ……
    第3章 算法
    第4章 数论和密码学
    第5章 归纳与递归
    第6章 计数
    第7章 离散概率
    第8章 高级计数技术
    第9章 关系
    第10章 图
    第11章 树
    第12章 布尔代数
    第13章 计算模型
    附录
查看详情
系列丛书 / 更多
计算机科学丛书:离散数学及其应用(原书第7版)
Java编程思想(第4版)
[美]Bruce Eckel 著;陈昊鹏 译
计算机科学丛书:离散数学及其应用(原书第7版)
数据挖掘:概念与技术(原书第3版)
[美]Jiawei、[美]Micheling、[美]Jian Pei 著;范明、孟小峰 译
计算机科学丛书:离散数学及其应用(原书第7版)
算法导论(原书第3版)
[美]Thomas、[美]Charles、[美]Ronald、[美]Clifford Stein 著;殷建平、徐云、王刚 译
计算机科学丛书:离散数学及其应用(原书第7版)
数据结构与算法分析:Java语言描述
[美]马克·艾伦·维斯 著;陈越 译
计算机科学丛书:离散数学及其应用(原书第7版)
C程序设计语言(第2版·新版) 习题解答
吉米拜尔 著;杨涛 译;[美]汤朵
计算机科学丛书:离散数学及其应用(原书第7版)
C程序设计语言(第二版)
[美]Brian(布莱恩·克尼汉)、[美]Dennis M.Ritchie(丹尼斯·里奇) 著;徐宝文、李志 译
计算机科学丛书:离散数学及其应用(原书第7版)
计算机科学丛书·云计算:概念、技术与架构
[美]Thomas、[英]Zaigham、[巴西]Ricardo Puttini 著;龚奕利、贺莲、胡创 译
计算机科学丛书:离散数学及其应用(原书第7版)
深入理解计算机系统(原书第3版)
[美]兰德尔 E.布莱恩特(Randal E.·Bryant) 著;龚奕利、贺莲 译
计算机科学丛书:离散数学及其应用(原书第7版)
计算机科学导论:原书第3版
[美]Behrouz Forouzan 著;刘艺 译
计算机科学丛书:离散数学及其应用(原书第7版)
数据库系统概念:(原书第6版)
[美]Abraham、Henry、S.Sudarshan 著;杨冬青、李红燕、唐世渭 译
计算机科学丛书:离散数学及其应用(原书第7版)
编译原理:原理、技术与工具
[美]阿霍 著;赵建华 译
计算机科学丛书:离散数学及其应用(原书第7版)
软件工程:实践者的研究方法(原书第8版 本科教学版)
[美]罗杰 S. 普莱斯曼 著;郑人杰、马素霞 译
相关图书 / 更多
计算机科学丛书:离散数学及其应用(原书第7版)
计算机基础与实训教程
顾玲芳 编
计算机科学丛书:离散数学及其应用(原书第7版)
计算机网络攻击与防护
刘念;陈雪松;谈洪磊
计算机科学丛书:离散数学及其应用(原书第7版)
计算机组成原理与汇编语言
田民格、秦彩杰、林观俊、田佳琪
计算机科学丛书:离散数学及其应用(原书第7版)
计算天文
冯毅
计算机科学丛书:离散数学及其应用(原书第7版)
计算思维培养与无人机创意编程
范谊 陈宇 张锦东
计算机科学丛书:离散数学及其应用(原书第7版)
计算机组成原理与系统结构(第3版)
冯建文 章复嘉 赵建勇 包健 编著
计算机科学丛书:离散数学及其应用(原书第7版)
计算小状元 小学数学 2年级上册 bs版 小学数学单元测试 新华
作者
计算机科学丛书:离散数学及其应用(原书第7版)
计算机应用基础
苗苗
计算机科学丛书:离散数学及其应用(原书第7版)
计算机系统原理(2023年版) 全国高等教育自学考试指导委员会
全国高等教育自学考试指导委员会
计算机科学丛书:离散数学及其应用(原书第7版)
计算机组装与维护(第3版高等院校计算机应用技术规划教材)
孙中胜 编
计算机科学丛书:离散数学及其应用(原书第7版)
计算机辅助翻译教程()
赵秋荣
计算机科学丛书:离散数学及其应用(原书第7版)
计算机三维建模方法
易健宏 编著;李凤仙
您可能感兴趣 / 更多
计算机科学丛书:离散数学及其应用(原书第7版)
宇宙视觉史:从宇宙大爆炸到时间的尽头
[美]查尔斯·刘 著;高爽 译者;[美]马克西姆· 马洛维奇科 绘;未读 出品
计算机科学丛书:离散数学及其应用(原书第7版)
写出我心 普通人如何通过写作表达自己(平装本)
[美]娜塔莉·戈德堡(Natalie Goldberg)
计算机科学丛书:离散数学及其应用(原书第7版)
写出我心3 写作疗愈的真正秘密
[美]娜塔莉·戈德堡(Natalie Goldberg)
计算机科学丛书:离散数学及其应用(原书第7版)
神套路:为什么我们总被带节奏(狂热与网红时代醍醐灌顶之作,教给普通人安身立命的不二法门!)
[美]阿里·阿莫萨维 著;[哥伦比亚]亚历杭德罗·希拉尔多 绘
计算机科学丛书:离散数学及其应用(原书第7版)
阿伦森自传
[美]埃利奥特·阿伦森(Elliot Aronson) 著;沈捷 译;湛庐文化 出品
计算机科学丛书:离散数学及其应用(原书第7版)
街头官僚:公共服务中的个人困境
[美]迈克尔·李普斯基(Michael Lipsky)
计算机科学丛书:离散数学及其应用(原书第7版)
史前至蒙古帝国时期的内欧亚大陆史
[美]大卫·克里斯蒂安 著;潘玲 译;杨建华 校
计算机科学丛书:离散数学及其应用(原书第7版)
意大利文艺复兴新艺术史
[美]迈克尔·韦恩·科尔 著;[美]斯蒂芬·J·坎贝尔;邵亦杨
计算机科学丛书:离散数学及其应用(原书第7版)
老人与海 彩图注音版 一二三四年级5-6-7-8-9岁小学生课外阅读经典 儿童文学无障碍有声伴读世界名著童话故事
[美]海明威
计算机科学丛书:离散数学及其应用(原书第7版)
养育的觉醒:全面激发孩子自驱力,教你如何心平气和做妈妈
[美]凯文·莱曼 著;唐晓璐 译;斯坦威 出品
计算机科学丛书:离散数学及其应用(原书第7版)
自律我也能做到(全9册)
[美]康妮·科维尔·米勒 著;[阿根廷]维多利亚·阿萨纳利 绘
计算机科学丛书:离散数学及其应用(原书第7版)
你在等什么?
[美]斯科特·明钦 著;[中]易万 译;[美]马特 ·斐兰 绘