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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 逻辑编程导论
  • 新华书店正版
    • 作者: [美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)著 | | 徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相 译译
    • 出版社: 机械工业出版社
    • 出版时间:2021-10-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

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

    • 服务

    • 物流

    搜索店内商品

    商品分类

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

     

    商品参数
    • 作者: [美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)著| 徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相 译译
    • 出版社:机械工业出版社
    • 出版时间:2021-10-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2021-10-01
    • 字数:133
    • 页数:192
    • 开本:16开
    • 装帧:平装
    • ISBN:9787111691815
    • 国别/地区:中国
    • 版权提供:机械工业出版社

    逻辑编程导论

    作  者:[美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri) 著 徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相 译 译
    定  价:79
    出 版 社:机械工业出版社
    出版日期:2021年10月01日
    页  数:192
    装  帧:平装
    ISBN:9787111691815
    主编推荐

    内容简介

    本书采用一种创新的模型论进行逻辑编程,从数据集的基本概念(即闭原子集)开始。沿着这一基本概念,我们引入视图(即虚拟关系);我们将经典逻辑程序定义为视图定义集,使用传统的类似于Prolog的表示法编写,但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作,如“添加”和“删除。

    作者简介

    精彩内容

    目录
    译者序前言部分  逻辑编程的介绍章  概述31.1  逻辑编程31.2  逻辑程序作为可运行规范31.3  逻辑编程的优点41.4  逻辑编程的应用51.5  基本逻辑编程61.6  历史笔记7第2章  数据集92.1  引言92.2  概念化92.3  数据集的定义102.4  示例—女生联谊会122.5  示例—亲属关系132.6  示例—积木世界142.7  示例—食物世界162.8  重组162.9  习题18第二部分  查询的更新第3章  查询233.1  引言233.2  查询语法243.3  查询语义253.4  安全性263.5  预定义概念273.6  示例—亲属关系283.7  示例—地图着色293.8  习题30第4章  更新334.1  引言334.2  更新语法334.3  更新语义344.4  同步更新354.5  示例—亲属关系364.6  示例—颜色374.7  习题40第5章  查询评估435.1  引言435.2  评估真值查询435.3  匹配445.4  用变量评估查询475.5  计算分析485.6  习题49第6章  视图优化516.1  引言516.2  子目标排序516.3  子目标移除536.4  规则移除556.5  示例—密码算术556.6  习题57第三部分  视图的定义第7章  视图定义617.1  引言617.2  语法627.3  语义637.4  半正程序667.5  分层程序687.6  习题71第8章  视图评估738.1  引言738.2  基础目标和规则的自顶向下处理748.3  合一758.4  非基础查询和规则的自顶向下处理798.5  习题81第9章  示例839.1  引言839.2  示例—亲属关系839.3  示例—积木世界849.4  示例—模运算869.5  示例—有向图879.6  习题880章  列表、集合、树9110.1  引言9110.2  示例—皮亚诺公理9110.3  列表9310.4  示例—排序列表9410.5  示例—集合9510.6  示例—树9610.7  习题961章  动态系统9911.1  引言9911.2  表示10011.3  仿真10111.4  计划10311.5  习题1042章  元知识10512.1  引言10512.2  自然语言处理10512.3  布尔逻辑10712.4  习题108第四部分  操作的定义3章  操作11313.1  引言11313.2  语法11313.3  语义11513.4  习题1184章  动态逻辑程序12114.1  引言12114.2  响应式系统12114.3  封闭系统12214.4  混合主动12414.5  同时动作12414.6  习题1265章  数据库管理12715.1  引言12715.2  约束更新12715.3  物化视图维护12815.4  通过视图更新12915.5  习题1306章  交互式工作表13116.1  交互式工作表简介13116.2  示例13216.3  网页数据13316.4  手势13416.5  操作定义13516.6  视图定义13616.7  语义建模137第五部分  结论7章  其他类型的逻辑程序设计14317.1  引言14317.2  逻辑生产系统14317.3  约束逻辑编程14417.4  析取逻辑编程14517.5  存在逻辑编程14617.6  回答集编程14717.7  归纳逻辑编程149附录A  EpilogJS中的预定义概念151附录B  Sierra161参考文献182

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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