MARC状态:订购 文献类型:中文图书 浏览次数:28
- 题名/责任者:
- 逻辑编程导论/(美)迈克尔·吉内塞雷斯(Michael Genesereth),(美)维奈·K. 乔杜里(Vinay K. Chaudhri)著 徐坚[等]译
- 出版发行项:
- 北京:机械工业出版社,2021.10
- ISBN及定价:
- 978-7-111-69181-5/CNY79.00
- 载体形态项:
- 183页;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- (美) 吉内塞雷斯 (Genesereth, Michael) 著
- 个人责任者:
- (美) 乔杜里 (Chaudhri, Vinay K.) 著
- 个人次要责任者:
- 徐坚 译
- 学科主题:
- 逻辑控制-程序设计
- 中图法分类号:
- TP273
- 一般附注:
- 华章教育 斯坦福大学逻辑编程公开课(CS151)教材 涵盖基本原理及流行应用
- 题名责任附注:
- 译者还有:甘健侯、孟祥栋、刘付依萍、欧阳昭相
- 版本附注:
- 美国摩根&克莱普尔出版公司通过锐拓传媒授权出版
- 提要文摘附注:
- 本书介绍了逻辑编程理论、当前技术和流行的应用程序。本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始,沿着这一基本概念,引入视图(即虚拟关系),将经典逻辑程序定义为视图定义集,使用传统的类似于Prolog的表示法编写,但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作,如“添加”和“删除”,将动态逻辑程序定义为一组动作定义集。
- 使用对象附注:
- 本书适用于逻辑控制程序设计人员
全部MARC细节信息>>