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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 醉染图书实用编程语言理论基础 原书第2版9787111697404
  • 正版全新
    • 作者: (美)罗伯特·哈珀著 | (美)罗伯特·哈珀编 | (美)罗伯特·哈珀译 | (美)罗伯特·哈珀绘
    • 出版社: 机械工业出版社
    • 出版时间:2022-03-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: (美)罗伯特·哈珀著| (美)罗伯特·哈珀编| (美)罗伯特·哈珀译| (美)罗伯特·哈珀绘
    • 出版社:机械工业出版社
    • 出版时间:2022-03-01
    • 版次:1
    • 印次:1
    • 页数:400
    • 开本:16开
    • ISBN:9787111697404
    • 版权提供:机械工业出版社
    • 作者:(美)罗伯特·哈珀
    • 著:(美)罗伯特·哈珀
    • 装帧:平装
    • 印次:1
    • 定价:139.00
    • ISBN:9787111697404
    • 出版社:机械工业出版社
    • 开本:16开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2022-03-01
    • 页数:400
    • 外部编号:1202627551
    • 版次:1
    • 成品尺寸:暂无

    译者序

    第2版前言

    版前言

    部 判断和规则

    章 抽象语法

    1.1 抽象语法树

    1.2 抽象绑定树

    1.3 注记

    习题

    第2章 归纳定义

    2.1 判断

    2.2 推理规则

    . 推导

    2.4 规则归纳

    2.5 迭代归纳定义和联立归纳定义

    2.6 用规则定义函数

    2.7 注记

    习题

    第3章 判断与一般判断

    3.1 判断

    3.1.1 可导

    3.1.2 可纳

    3.2 归纳定义

    3.3 一般判断

    3.4 泛型归纳定义

    3.5 注记

    习题

    第二部分 静态语义和动态语义

    第4章 静态语义

    4.1 语法

    4.2 类型系统

    4.3 结构质

    4.4 注记

    习题

    第5章 动态语义

    5.1 转换系统

    5.2 结构化动态语义

    5.3 上下文动态语义

    5.4 等式动态语义

    5.5 注记

    习题

    第6章 类型安全

    6.1 保持

    6.2 进展

    6.3 运行时错误

    6.4 注记

    习题

    第7章 求值动态语义

    7.1 求值动态语义

    7.2 结构化动态语义和求值动态语义

    的关系

    7.3 重温类型安全

    7.4 成本动态语义

    7.5 注记

    习题

    第三部分 全函数

    第8章 函数定义和值

    8.1 一阶函数

    8.2 高阶函数

    8.3 求值动态语义和定义等同

    8.4 动态作用域

    8.5 注记

    习题

    第9章 高阶递归的系统T

    9.1 静态语义

    9.2 动态语义

    9.3 可定义

    9.4 不可定义

    9.5 注记

    习题

    第四部分 有限数据类型

    0章 积类型

    10.1 空积与二元积

    10.2 有限积

    10.3 原始互递归

    10.4 注记

    习题

    1章 和类型

    11.1 空和与二元和

    11.2 有限和

    11.3 和类型的应用

    11.3.1 void和unit

    11.3.2 布尔类型

    11.3.3 枚举

    11.3.4 选择

    11.4 注记

    习题

    第五部分 类型和命题

    2章 构造逻辑

    12.1 构造语义

    12.2 构造逻辑

    12.2.1 可

    12.2.2 明项

    1. 明的动态语义

    12.4 命题即类型

    12.5 注记

    习题

    3章 经典逻辑

    13.1 经典逻辑

    13.1.1 可和可反驳

    13.1.2 明和反驳

    13.2 推导消去形式

    13.3 明的动态语义

    13.4 排中律

    13.5 双重否定翻译

    13.6 注记

    习题

    第六部分 数据类型

    4章 泛型编程

    14.1 引言

    14.2 多项式类型算子

    14.3 正类型算子

    14.4 注记

    习题

    5章 归纳类型与余归纳类型

    15.1 示例

    15.2 静态语义

    15.2.1 类型

    15.2.2 表达式

    15.3 动态语义

    15.4 求解类型等式

    15.5 注记

    习题

    第七部分 变量类型

    6章 多态类型的系统F

    16.1 多态抽象

    16.2 多态的可定义

    16.2.1 积与和

    16.2.2 自然数

    16.3 参数化概述

    16.4 注记

    习题

    7章 抽象类型

    17.1 存在类型

    17.1.1 静态语义

    17.1.2 动态语义

    17.1.3 安全

    17.2 数据抽象

    17.3 存在类型的可定义

    17.4 表示独立

    17.5 注记

    习题

    8章 高阶种类

    18.1 构造器和种类

    18.2 构造器等同

    18.3 表达式和类型

    18.4 注记

    习题

    第八部分 部分和递归类型

    9章 递归函数的系统PCF

    19.1 静态语义

    19.2 动态语义

    19.3 可定义

    19.4 有限数据结构和数据结构

    19.5 接近与部分

    19.6 注记

    习题

    第20章 递归类型的系统FPC

    20.1 求解类型等式

    20.2 归纳类型和余归纳类型

    20.3 自指/自引用

    20.4 状态的起源

    20.5 注记

    习题

    第九部分 动态类型

    2章 无类型的λ演算

    21.1 λ演算

    21.2 可定义

    21.3 Scott定理

    21.4 无类型意味着单类型

    21.5 注记

    习题

    第22章 动态定型

    22.1 动态类型化PCF

    22.2 变体和扩展

    2. 动态定型的批判

    22.4 注记

    习题

    第章 混合定型

    .1 一个混合语言

    .2 动态语义作为静态定型

    . 动态定型的优化

    .4 静态定型和动态定型的对比

    .5 注记

    习题

    第十部分 子定型

    第24章 结构化子定型

    24.1 包含规则

    24.2 各种子定型

    24.2.1 数值类型

    24.2.2 积类型

    24.. 和类型

    24.2.4 动态类型

    24.3 变体

    24.3.1 积类型与和类型

    24.3.2 部分函数类型

    24.3.3 递归类型

    24.3.4 量化类型

    24.4 动态语义和安全

    24.5 注记

    习题

    第25章 行为定型

    25.1 静态语义

    25.2 布尔盲

    25.3 细化的安全

    25.4 注记

    习题

    十部 动态分派

    第26章 类与方法

    26.1 分派矩阵

    26.2 基于类的组织

    26.3 基于方法的组织

    26.4 自指

    26.5 注记

    习题

    第27章 继承

    27.1 类与方法扩展

    27.2 基于类的继承

    27.3 基于方法的继承

    27.4 注记

    习题

    ……

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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