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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 计算机科学的逻辑基础 (美)雷克斯·佩奇,(美)鲁本·冈博亚 著 汪荣贵,陈朗,汪雄飞 译 大中专 文轩网
  • 新华书店正版
    • 作者: [美]雷克斯·佩奇(Rex Page),[美]鲁本·冈著 | | 汪荣贵 陈朗 汪雄飞 译译
    • 出版社: 机械工业出版社
    • 出版时间:2021-06-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: [美]雷克斯·佩奇(Rex Page),[美]鲁本·冈著| 汪荣贵 陈朗 汪雄飞 译译
    • 出版社:机械工业出版社
    • 出版时间:2021-06-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2021-06-01
    • 字数:400
    • 页数:236
    • 开本:16开
    • 装帧:平装
    • ISBN:9787111682226
    • 国别/地区:中国
    • 版权提供:机械工业出版社

    计算机科学的逻辑基础

    作  者:(美)雷克斯·佩奇,(美)鲁本·冈博亚 著 汪荣贵,陈朗,汪雄飞 译
    定  价:99
    出 版 社:机械工业出版社
    出版日期:2021年06月01日
    页  数:236
    装  帧:平装
    ISBN:9787111682226
    主编推荐

    内容简介

    本书以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。本书主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。本书不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材,也可供广大计算机爱好者、计算机及相关领域的科研人员和工程技术人员自学参考。

    作者简介

    精彩内容

    目录
    出版者的话
    译者序
    前言
    第一部分 逻辑与等式
    第1章 计算机系统:原理简单,行为复杂
    1.1 硬件与软件
    1.2 程序的结构
    1.3 深蓝与归纳定义
    习题
    第2章 布尔公式和等式
    2.1 利用等式推理
    习题
    2.2 布尔等式
    习题
    2.3 布尔公式
    习题
    2.4 数字电路
    习题
    2.5 演绎推理
    习题
    2.6 谓词和量词
    习题
    2.7 量化谓词的推理
    习题
    2.8 布尔模型
    习题
    2.9 谓词和量词的一般模型
    第3章 软件测试和前缀法
    习题
    第4章 数学归纳
    4.1 数学对象列表
    习题
    4.2 数学归纳法
    习题
    4.3 Defun:ACL2中运算符的定义
    4.4 连接、前缀和后缀
    习题
    第5章 机械化逻辑
    5.1 ACL2定理与证明
    5.2 使用已证的定理库
    习题
    5.3 约束定理
    习题
    5.4 辅助机械化逻辑工作
    习题
    5.5 自动化证明及其做不到的事
    习题
    第二部分 计算机算术
    第6章 二进制数字
    6.1 数和数字
    习题
    6.2 从数字到数
    习题
    6.3 二进制数字
    习题
    第7章 加法器
    7.1 数字相加
    习题
    7.2 一位二进制数字加法电路
    7.3 两位二进制数字加法电路
    习题
    7.4 w位二进制数字加法
    习题
    7.5 负数的数字
    习题
    第8章 乘法器和大数算法
    8.1 大数加法器
    习题
    8.2 移位相加乘法器
    习题
    第三部分 算法
    第9章 多路复用器和解复用器
    9.1 多路复用器
    习题
    9.2 解复用器
    习题
    第10章 排序
    10.1 插入排序
    习题
    10.2 保序合并
    习题
    10.3 归并排序
    习题
    10.4 排序算法分析
    10.4.1 计算步骤的计数
    习题
    10.4.2 计算解复用的步数
    习题
    10.4.3 计算归并的步数
    习题
    10.4.4 计算归并排序的步数
    习题
    10.4.5 计算插入排序的步数
    习题
    第11章 搜索树
    11.1 查找事物
    11.2 平衡二叉树
    11.3 搜索树的表示
    11.4 有序搜索树
    习题
    11.5 平衡搜索树
    习题
    11.6 搜索树中插入新项目
    习题
    11.7 顺序插入
    习题
    11.8 双旋转
    习题
    11.9 快速插入
    习题
    第12章 哈希表
    12.1 列表和数组
    12.2 哈希运算符
    习题
    12.3 一些应用
    第四部分 计算实践
    第13章 Facebook分片技术
    13.1 技术挑战
    13.2 权宜之计
    13.2.1 缓存
    13.2.2 分片
    13.3 Cassandra的解决方案
    13.4 小结
    第14章 MapReduce的并行计算
    14.1 水平扩展和垂直扩展
    14.2 MapReduce的策略
    14.3 基于MapReduce的数据挖掘
    14.4 小结
    第15章 计算机艺术创作
    15.1 在计算机中表示图像
    15.2 随机生成图像
    15.3 生成目标图像
    索引

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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