无锡城市职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

逻辑编程导论/Michael Genesereth, Vinay K. Chaudhri 徐坚 ... [等] 译

出版发行项:

北京:机械工业出版社,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多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义, 而不是传统的“证据-理论”方法, 并同时关注数据集的改变与逻辑代理的状态。多数章节之后附有习题, 引领读者由易到难、由浅入深地通过练习和实践的方式掌握逻辑编程方法。

豆瓣简介：