由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新正版逻辑编程导论9787111691815机械工业
¥ ×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
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格