ISBN/价格: | 978-7-111-69181-5:CNY79.00 |
---|---|
作品语种: | chi eng |
出版国别: | CN 110000 |
题名责任者项: | 逻辑编程导论/.Michael Genesereth, Vinay K. Chaudhri/.徐坚 ... [等] 译 |
出版发行项: | 北京:,机械工业出版社:,2021.10 |
载体形态项: | 183页:;+图:;+26cm |
丛编项: | 计算机科学丛书 |
提要文摘: | 本书向读者介绍了传统逻辑编程的基本原理, 阐明了使用该技术为复杂系统创建可运行规范的益处。书中集合了作者30多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义, 而不是传统的“证据-理论”方法, 并同时关注数据集的改变与逻辑代理的状态。多数章节之后附有习题, 引领读者由易到难、由浅入深地通过练习和实践的方式掌握逻辑编程方法。 |
题名主题: | 逻辑控制 程序设计 |
索书号: | TP273/J14 |
中图分类: | TP273 |
个人名称等同: | 吉内塞雷斯 M. 著 |
个人名称等同: | 乔杜里 V. K. 著 |
个人名称次要: | 徐坚 译 |
记录来源: | CN 人天书店 20211104 |