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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

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

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: [美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)|译者:徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相著| [美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)|译者:徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相编| [美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)|译者:徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相译| [美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)|译者:徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相绘
    • 出版社:机械工业出版社
    • 出版时间:2021-10-01
    • 版次:1
    • 印次:1
    • 印刷时间:2021-10-01
    • 页数:183
    • 开本:16开
    • ISBN:9787111691815
    • 版权提供:机械工业出版社
    • 作者:[美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)|译者:徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相
    • 著:[美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)|译者:徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相
    • 装帧:平装
    • 印次:1
    • 定价:79.00
    • ISBN:9787111691815
    • 出版社:机械工业
    • 开本:16开
    • 印刷时间:2021-10-01
    • 语种:暂无
    • 出版时间:2021-10-01
    • 页数:183
    • 外部编号:31275846
    • 版次:1
    • 成品尺寸:暂无

    译者序<br/>前言<br/>部 逻辑编程的介绍<br/>章 概述 3<br/>1.1 逻辑编程 3<br/>1.2 逻辑程序作为可运行规范 3<br/>1.3 逻辑编程的优点 4<br/>1.4 逻辑编程的应用 5<br/>1.5 基本逻辑编程 6<br/>1.6 历史笔记 7<br/>第2章 数据集 9<br/>2.1 引言 9<br/>2.2 概念化 9<br/>. 数据集的定义 10<br/>2.4 示例—女生联谊会 12<br/>2.5 示例—亲属关系 13<br/>2.6 示例—积木世界 14<br/>2.7 示例—食物世界 16<br/>2.8 重组 16<br/>2.9 习题 18<br/>第二部分 查询的更新<br/>第3章 查询 <br/>3.1 引言 <br/>3.2 查询语法 24<br/>3.3 查询语义 25<br/>3.4 安全 26<br/>3.5 预定义概念 27<br/>3.6 示例—亲属关系 28<br/>3.7 示例—地图着色 29<br/>3.8 习题 30<br/>第4章 更新 33<br/>4.1 引言 33<br/>4.2 更新语法 33<br/>4.3 更新语义 34<br/>4.4 同步更新 35<br/>4.5 示例—亲属关系 36<br/>4.6 示例—颜色 37<br/>4.7 习题 40<br/>第5章 查询评估 43<br/>5.1 引言 43<br/>5.2 评估真值查询 43<br/>5.3 匹配 44<br/>5.4 用变量评估查询 47<br/>5.5 计算分析 48<br/>5.6 习题 49<br/>第6章 视图优化 51<br/>6.1 引言 51<br/>6.2 子目标排序 51<br/>6.3 子目标移除 53<br/>6.4 规则移除 55<br/>6.5 示例—密码算术 55<br/>6.6 习题 57<br/>第三部分 视图的定义<br/>第7章 视图定义 61<br/>7.1 引言 61<br/>7.2 语法 62<br/>7.3 语义 63<br/>7.4 半正程序 66<br/>7.5 分层程序 68<br/>7.6 习题 71<br/>第8章 视图评估 73<br/>8.1 引言 73<br/>8.2 基础目标和规则的自顶向下处理 74<br/>8.3 合一 75<br/>8.4 非基础查询和规则的自顶向下处理 79<br/>8.5 习题 81<br/>第9章 示例 83<br/>9.1 引言 83<br/>9.2 示例—亲属关系 83<br/>9.3 示例—积木世界 84<br/>9.4 示例—模运算 86<br/>9.5 示例—有向图 87<br/>9.6 习题 88<br/>0章 列表、集合、树 91<br/>10.1 引言 91<br/>10.2 示例—皮亚诺公理 91<br/>10.3 列表 93<br/>10.4 示例—排序列表 94<br/>10.5 示例—集合 95<br/>10.6 示例—树 96<br/>10.7 习题 96<br/>1章 动态系统 99<br/>11.1 引言 99<br/>11.2 表示 100<br/>11.3  101<br/>11.4 计划 103<br/>11.5 习题 104<br/>2章 元知识 105<br/>12.1 引言 105<br/>12.2 自然语言处理 105<br/>1. 布尔逻辑 107<br/>12.4 习题 108<br/>第四部分 操作的定义<br/>3章 操作 113<br/>13.1 引言 113<br/>13.2 语法 113<br/>13.3 语义 115<br/>13.4 习题 118<br/>4章 动态逻辑程序 121<br/>14.1 引言 121<br/>14.2 响应式系统 121<br/>14.3 封闭系统 122<br/>14.4 混合主动 124<br/>14.5 同时动作 124<br/>14.6 习题 126<br/>5章 数据库管理 127<br/>15.1 引言 127<br/>15.2 约束更新 127<br/>15.3 物化视图维护 128<br/>15.4 通过视图更新 129<br/>15.5 习题 130<br/>6章 交互式工作表 131<br/>16.1 交互式工作表简介 131<br/>16.2 示例 132<br/>16.3 网页数据 133<br/>16.4 手势 134<br/>16.5 操作定义 135<br/>16.6 视图定义 136<br/>16.7 语义建模 137<br/>第五部分 结论<br/>7章 类型的逻辑程序设计 143<br/>17.1 引言 143<br/>17.2 逻辑生产系统 143<br/>17.3 约束逻辑编程 144<br/>17.4 析取逻辑编程 145<br/>17.5 存在逻辑编程 146<br/>17.6 回答集编程 147<br/>17.7 归纳逻辑编程 149<br/>附录A EpilogJS中的预定义概念 151<br/>附录B Sierra 161<br/>参考文献 182


    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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