MARC状态:审校 文献类型:中文图书 浏览次数:21
- 题名/责任者:
- 逻辑编程导论/(美)迈克尔·吉内塞雷斯(Michael Genesereth), 维奈·K.乔杜里(Vinay K. Chaudhri)著 徐坚[等]译
- 出版发行项:
- 北京:机械工业出版社,2021
- ISBN及定价:
- 978-7-111-69181-5/CNY79.00
- 载体形态项:
- 183页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- (美) 吉内塞雷斯 (Genesereth, Michael) 著
- 个人责任者:
- (美) 乔杜里 (Chaudhri, Vinay K.) 著
- 个人次要责任者:
- 徐坚 译
- 个人次要责任者:
- 甘健侯 译
- 个人次要责任者:
- 孟祥栋 译
- 学科主题:
- 逻辑控制-程序设计
- 中图法分类号:
- TP273
- 题名责任附注:
- 题名页题其余译者: 甘健侯, 孟祥栋, 刘付依萍, 欧阳昭相
- 版本附注:
- 据2020年英文版译出
- 书目附注:
- 有书目 (第182-183页)
- 提要文摘附注:
- 本书采用一种创新的模型论进行逻辑编程,从数据集的基本概念(即闭原子集)开始。沿着这一基本概念,我们引入视图(即虚拟关系);我们将经典逻辑程序定义为视图定义集,使用传统的类似于Prolog的表示法编写,但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作,如“添加”和“删除。
- 使用对象附注:
- 计算机科学专业本科生、研究生及对逻辑编程感兴趣的读者
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP273/746 | CN1875410 | ![]() |
阅览 | 内阅图书 | |
TP273/746 | CN1875411 | ![]() |
可借 | 未央馆 | |
TP273/746 | CN1875412 | ![]() |
可借 | 未央馆 |
显示全部馆藏信息