成功加入购物车

去购物车结算 X
孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索
文源文化
  • 同构(编程中的数学)
图文详情

同构(编程中的数学)

举报

正版新书 新华官方库房直发 可开电子发票

  • 作者: 
  • 出版社:    机械工业出版社
  • ISBN:    9787111725640
  • 出版时间: 
  • 装帧:    平装
  • 纸张:    胶版纸
  • ISBN:  9787111725640
  • 出版时间: 
  • 装帧:  平装
  • 纸张:  胶版纸

售价 ￥ 66.75 7.5折

定价 ￥89.00 

品相 全新品相描述

优惠 满包邮

优惠 满减券
    运费
    本店暂时无法向该地区发货

    延迟发货说明

    时间：
    说明：

    上书时间2024-10-09

    数量
    库存8件
    立即购买 加入购物车 收藏
    微信扫描下方二维码
    微信扫描打开成功后，点击右上角”...“进行转发

    卖家超过10天未登录

    六年老店
    文源文化
    店铺等级
    资质认证
    90天平均
    成功完成
    90.78% (1271笔)
    好评率
    99.89%
    发货时间
    9.54小时
    店主
    江苏文源文化4号店
    联系
    在线交谈 离线留言
    地址
    江苏省南京市六合区
    电话
    进店逛逛 收藏店铺
    • 商品详情
    • 店铺评价
    立即购买 加入购物车 收藏
    手机购买
    微信扫码访问
    • 商品分类：
      自然科学
      货号：
      ZJ:9787111725640
      品相描述：全新
      全新正版 提供发票
      商品描述：
      作者简介:
          刘新宇，亚马逊中国研发中心研发经理，负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法，著有《算法新解》一书（2017年出版）。
      内容简介:
          本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。

      配送说明

      ...

      相似商品

      为你推荐

    孔网分类
    图书
    © 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
    关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全
    孔网啦啦啦啦啦纺织女工火锅店第三课

    开播时间：09月02日 10:30

    即将开播，去预约
    直播中，去观看