南京市江宁区图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

逻辑编程导论/(美) 迈克尔·吉内塞雷斯, 维奈·K. 乔杜里著 徐坚 ... [等] 译

出版发行项:

北京:机械工业出版社,2021.10

ISBN及定价:

978-7-111-69181-5/CNY79.00

载体形态项:

183页:图;26cm

统一题名:

Introduction to legic programming

丛编项:

计算机科学丛书

个人责任者:

吉内塞雷斯 (Genesereth, Michael) 著

个人责任者:

乔杜里 (Chaudhri, Vinay K.) 著

学科主题:

逻辑控制-程序设计

中图法分类号:

TP273

中图法分类号:

TP

题名责任附注:

题名页题其余译者：甘健侯, 孟祥栋, 刘付依萍, 欧阳昭相

出版发行附注:

由美国摩根&克莱普尔出版公司通过锐拓传媒授权

书目附注:

有书目 (第182-183页)

提要文摘附注:

本书向读者介绍了传统逻辑编程的基本原理，阐明了使用该技术为复杂系统创建可运行规范的益处。书中集合了作者30多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义，而不是传统的“证据-理论”方法，并同时关注数据集的改变与逻辑代理的状态。多数章节之后附有习题，引领读者由易到难、由浅入深地通过练习和实践的方式掌握逻辑编程方法。

使用对象附注:

本书适合计算机专业的本科生、低年级研究生以及对计算机感兴趣的中学生和开发者阅读。

豆瓣简介：