返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版新书]离散数学贲可荣,袁景凌,谢茜9787302571049
  • 全店均为全新正版书籍,欢迎选购!新疆西藏青海(可包挂刷).港澳台及海外地区bu bao快递
    • 作者: 贲可荣,袁景凌,谢茜著 | 贲可荣,袁景凌,谢茜编 | 贲可荣,袁景凌,谢茜译 | 贲可荣,袁景凌,谢茜绘
    • 出版社: 清华大学出版社
    • 出版时间:2021-01-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    君凤文轩图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: 贲可荣,袁景凌,谢茜著| 贲可荣,袁景凌,谢茜编| 贲可荣,袁景凌,谢茜译| 贲可荣,袁景凌,谢茜绘
    • 出版社:清华大学出版社
    • 出版时间:2021-01-01
    • 版次:3
    • 印次:1
    • 字数:529000
    • 开本:16开
    • ISBN:9787302571049
    • 版权提供:清华大学出版社
    • 作者:贲可荣,袁景凌,谢茜
    • 著:贲可荣,袁景凌,谢茜
    • 装帧:平装
    • 印次:1
    • 定价:59.99
    • ISBN:9787302571049
    • 出版社:清华大学出版社
    • 开本:16开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2021-01-01
    • 页数:0
    • 外部编号:涿仝东181880
    • 版次:3
    • 成品尺寸:暂无

    章 命题逻辑
    1.1 现代逻辑学的基本研究方法
    1.2 命题及其表示法
    1.2.1 命题的概念
    1.2.2 联结词
    1.3 命题公式与语句形式化
    1.3.1 命题公式的定义
    1.3.2 公式的层次
    1.3.3 语句形式化
    1.3.4 复合命题真值
    1.3.5 真值表
    1.4 重言式
    1.4.1 重言式概述
    1.4.2 逻辑等价式
    1.4.3 等值演算
    1.5 对偶与范式
    1.5.1 对偶
    1.5.2 简单合取式和简单析取式
    1.5.3 范式
    1.5.4 范式的主范式
    1.6 联结词
    1.6.1 n元真值函数
    1.6.2 真值函数与命题公式的关系
    1.6.3 联结词完备集
    1.6.4 单元素联结词构成的联结词完备集
    1.7 命题演算的推理理论
    1.7.1 有效推理
    1.7.2 有效推理的等价定理
    1.7.3 重言蕴涵式
    1.7.4 形式推理系统
    1.7.5 自然推理系统P
    1.8 命题演算中的归结推理
    1.8.1 归结推理规则
    1.8.2 归结反演
    1.8.3 命题逻辑归结反演的合理和完备
    1.9 应用案例
    1.9.1 克雷格探长案卷录
    1.9.2 忘却林中的艾丽丝
    (狮子与独角兽)
    习题
    计算机编程题
    第2章 谓词逻辑
    2.1 谓词逻辑的基本概念
    2.1.1 个体词
    2.1.2 谓词
    2.1.3 量词
    2.2 谓词逻辑公式与翻译
    2.2.1 一阶语言
    2.2.2 自由与约束
    2.. 闭公式
    2.2.4 谓词逻辑公式的
    解释
    2.2.5 谓词逻辑命题符
    号化
    2.2.6 一阶公式的分类
    . 谓词逻辑等值演算
    ..1 基本等价式与置换
    规则
    ..2 谓词逻辑前束
    范式
    2.4 谓词演算的推理理论
    2.4.1 推理定律
    2.4.2 量词消去与引入
    规则
    2.4.3 一阶谓词演算公理
    系统F
    2.4.4 自然推理系统F
    2.5 谓词演算中的归结推理
    2.5.1 子句型
    2.5.2 置换和合一
    2.5.3 合一算法
    2.5.4 归结式
    2.5.5 归结反演及其完

    2.6 应用案例
    2.6.1 电路领域的知识
    工程
    2.6.2 基于逻辑的财务
    顾问
    2.7 逻辑在计算机科学中的
    作用
    2.7.1 逻辑与计算
    2.7.2 逻辑与计算机的
    起源
    2.7.3 逻辑与程序设计
    习题
    计算机编程题
    离散数学(第3版)目录第3章 集合与关系
    3.1 集合的概念和表示法
    3.1.1 集合的表示
    3.1.2 基本概念
    3.2 集合的运算
    3.2.1 集合的基本运算
    3.2.2 有穷集
    3.. 包含排斥原理
    3.2.4 广义交和广义并
    3.3 有序对与笛卡儿积
    3.4 关系及其表示
    3.4.1 基本概念
    3.4.2 关系表示法
    3.5 关系的运算
    3.5.1 基本概念
    3.5.2 复合关系
    3.5.3 逆关系
    3.5.4 关系幂
    3.5.5 幂运算的质
    3.6 关系的质
    3.6.1 关系的5种基本

    3.6.2 关系质的等价
    描述
    3.7 关系的闭包
    3.7.1 基本概念
    3.7.2 闭包的质
    3.8 集合的划分与覆盖
    3.9 等价关系和等价类
    3.9.1 等价关系
    3.9.2 等价类的质
    3.9.3 商集与划分
    3.10 相容关系和相容类
    3.11 偏序关系
    3.12 偏序集与哈斯图
    3.13 应用案例
    3.13.1 同余关系在出版
    业中的应用
    3.13.2 拓扑排序在建筑
    工序中的应用
    3.13.3 等价关系在软件
    测试等价类划分
    中的应用
    习题
    计算机编程题
    第4章 函数
    4.1 函数的定义
    4.1.1 函数和像
    4.1.2 函数的质
    4.1.3 常用函数
    4.2 复合函数和反函数
    4.2.1 复合函数
    4.2.2 反函数
    4.3 特征函数与模糊子集
    4.4 基数的概念
    4.4.1 后继与归纳集
    4.4.2 自然数,有穷集
    无穷集
    4.4.3 基数
    4.5 可数集与不可数集
    4.6 数学归纳法
    4.7 应用案例
    4.7.1 逢黑必反魔术
    4.7.2 生成函数在解决汉诺塔
    问题中的应用
    习题
    计算机编程题
    第5章 组合
    5.1 基本原理
    5.1.1 加法原理
    5.1.2 乘法原理
    5.2 排列与组合
    5.2.1 排列
    5.2.2 组合
    5.3 排列组合生成算法
    5.3.1 排列生成算法
    5.3.2 组合生成算法
    5.4 广义的排列和组合
    5.5 二项式系数和组合恒
    等式
    5.5.1 二项式定理
    5.5.2 组合恒等式
    5.6 鸽笼原理
    5.6.1 鸽笼原理的简单
    形式
    5.6.2 鸽笼原理的一般
    形式
    5.7 递推关系及应用
    5.7.1 递推定义函数
    5.7.2 递推定义集合
    5.7.3 递推关系模型
    5.7.4 求解递推关系
    5.7.5 递推在算法分析中的
    应用
    5.7.6 生成函数
    5.8 应用案例
    5.8.1 大使馆通信的码
    字数
    5.8.2 条条道路通罗马
    习题
    计算机编程题
    第6章 图论
    6.1 图的基本概念
    6.1.1 图的定


    "离散数学是计算机科学与技术专业的一门重要基础课。本书主要包含数理逻辑、集合与关系、函数、组合、图和树、代数系统、自动机和初等数论等内容。本版新增应用案例,阐明相应章节的知识可以解决什么样的典型应用问题。本书“历史注记”可以帮读者理解数学,洞察内在本质。
    本书体系严谨,选材精炼,讲解翔实,例题丰富,注重理论与计算机科学技术的实际问题相结合,并选配了大量难度适当的习题,并给出奇数题的,适合教学。本书适合作为计算机类和相关专业生“离散数学”的教学用书。 本书有配套教材《离散数学解题指导(第3版)》。
    "

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购