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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 诺森同构:编程中的数学刘新宇9787111725640机械工业
  • 正版
    • 作者: 刘新宇著 | 刘新宇编 | 刘新宇译 | 刘新宇绘
    • 出版社: 机械工业出版社
    • 出版时间:2023-06-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    诺森文化制品专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 刘新宇著| 刘新宇编| 刘新宇译| 刘新宇绘
    • 出版社:机械工业出版社
    • 出版时间:2023-06-01
    • 版次:1
    • 印次:1
    • 印刷时间:2023-05-29
    • 开本:16开
    • ISBN:9787111725640
    • 版权提供:机械工业出版社
    • 作者:刘新宇
    • 著:刘新宇
    • 装帧:暂无
    • 印次:1
    • 定价:89.00
    • ISBN:9787111725640
    • 出版社:机械工业
    • 开本:16开
    • 印刷时间:2023-05-29
    • 语种:暂无
    • 出版时间:2023-06-01
    • 页数:暂无
    • 外部编号:31763875
    • 版次:1
    • 成品尺寸:暂无

    章数字1<br />1.1数的诞生1<br />1.2皮亚诺自然数公理2<br />1.3自然数和计算机程序4<br />1.4自然数的结构6<br />1.5自然数的同构10<br />1.6形式与结构14<br />第2章递归16<br />2.1万物皆数16<br />2.2欧几里得算法18<br />2.2.1欧几里得和《几何<br />原本》19<br />2.2.2欧几里得算法概述19<br />2..扩展欧几里得算法22<br />2.2.4欧几里得算法的意义26<br />.λ演算28<br />..1表达式化简30<br />..2λ抽象31<br />..λ变换规则31<br />2.4递归的定义35<br />2.5λ演算的意义36<br />2.6更多的递归结构38<br />2.7递归的形式与结构39<br />2.8附录:倒水趣题完整程序42<br />第3章对称43<br />3.1什么是对称43<br />3.2群46<br />3.2.1群的定义50<br />3.2.2幺半群与半群52<br />3..群的质55<br />3.2.4置换群58<br />3.2.5群与对称61<br />3.2.6旋转对称与循环群62<br />3.2.7分圆方程65<br />3.2.8子群66<br />3.2.9拉格朗日定理72<br />3.3环与域82<br />3.3.1环的定义84<br />3.3.2除环和域86<br />3.4伽罗瓦理论87<br />3.4.1扩域87<br />3.4.2从牛顿、拉格朗日到伽<br />罗瓦89<br />3.4.3自同构和伽罗瓦群95<br />3.4.4伽罗瓦基本定理96<br />3.4.5可解9<br />3.5附录:伽罗瓦群 100<br />第4章范畴102<br />4.1范畴概述104<br />4.1.1范畴的例子106<br />4.1.2箭头≠函数110<br />4.2函子111<br />4.2.1函子的定义111<br />4.2.2函子的例子112<br />4.3积与和118<br />4.3.1积与和的定义120<br />4.3.2积与和的质122<br />4.3.3积与和作为函子1<br />4.4自然变换126<br />4.4.1自然变换的例子127<br />4.4.2自然同构130<br />4.5数据类型131<br />4.5.1起始对象和终止对象131<br />4.5.2幂136<br />4.5.3笛卡儿闭和对象算术140<br />4.5.4多项式函子142<br />4.5.5F-代数143<br />4.6小结156<br />4.7扩展阅读158<br />4.8附录:例子代码158<br />第5章融合160<br />5.1叠加-构建的融合161<br />5.1.1列表的叠加操作162<br />5.1.2叠加-构建融合律163<br />5.1.3列表的构建形式164<br />5.1.4使用融合律化简165<br />5.1.5类型限制167<br />5.1.6用范畴论推导融合律168<br />5.2巧算100171<br />5.2.1穷举法171<br />5.2.2改进173<br />5.3小结和扩展阅读175<br />5.4附录:巧算100问题的代码175<br />第6章无穷177<br />6.1无穷概念的提出179<br />6.1.1无穷的哲学181<br />6.1.2穷竭法与微积分183<br />6.2潜无穷与编程186<br />6.3实无穷的思考191<br />6.3.1无穷王国的花园192<br />6.3.2一一对应与无穷集合194<br />6.3.3可数无穷与不可数无穷200<br />6.3.4戴德金分割203<br />6.3.5超限数和连续统设205<br />6.4无穷与艺术209<br />6.5附录:例子代码214<br />6.6附录:康托尔定理的明215<br />6.7附录:巴赫《音乐的奉献》<br />上升的卡农216<br />第7章悖论218<br />7.1计算的边界221<br />7.2罗素悖论222<br />7.3数学基础的分歧225<br />7.3.1逻辑主义225<br />7.3.2直觉主义227<br />7.3.3形式主义229<br />7.3.4公理集合论0<br />7.4哥德尔不完全定理2<br />7.5不完全定理的明4<br />7.5.1构建形式系统4<br />7.5.2哥德尔配数<br />7.5.3构造自我指涉<br />7.6的程序与对角线明<br />7.7尾声240<br />附录241<br />加法交换律的明241<br />积与和的242<br />集合的笛卡儿积和不相交并集构成积<br />与和的明243<br />参考246<br />参考文献296

    刘新宇中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士。长期专注于函数式基础算法,著有《算法新解》一书(2017年出版)。

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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