广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

183页:图;26cm

统一题名:

Introduction to logic programming

丛编项:

计算机科学丛书

个人责任者:

吉内塞雷斯 (Genesereth, Michael) 著

个人责任者:

乔杜里 (Chaudhri, Vinay K.) 著

个人次要责任者:

徐坚 译

个人次要责任者:

甘健侯 译

学科主题:

逻辑控制-程序设计

中图法分类号:

TP273

题名责任附注:

题名页题: 徐坚, 甘健侯, 孟祥栋, 刘付依萍, 欧阳昭相译

出版发行附注:

本书中文简体版权经由锐拓传媒取得 本书中文简体字版由美国摩根&克莱普尔出版公司通过锐拓传媒授权机械工业出版社独家出版

责任者附注:

迈克尔·吉内塞雷斯, 斯坦福大学计算机科学系和法学院的教授。维奈·K. 乔杜里, 前SRI international人工智能中心项目主管。

书目附注:

有书目 (第182-183页)

提要文摘附注:

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

使用对象附注:

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

豆瓣简介：