|
题名:
|
逻辑编程导论 [ 专著] luo ji bian cheng dao lun / (美)迈克尔·吉内塞雷斯(Michael Genesereth)，(美)维奈·K.乔杜里(Vinay K. Chaudhri)著 , 徐坚[等]译 |
|
ISBN:
|
978-7-111-69181-5 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
183页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2021.10 |
|
内容提要:
|
本书向读者介绍了传统逻辑编程的基本原理，阐明了使用该技术为复杂系统创建可运行规范的益处。书中集合了作者30多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义，而不是传统的“证据-理论”方法，并同时关注数据集的改变与逻辑代理的状态。多数章节之后附有习题，引领读者由易到难、由浅入深地通过练习和实践的方式掌握逻辑编程方法。 |
|
主题词:
|
逻辑控制 程序设计 |
|
中图分类法:
|
TP273 版次： 5 |
|
主要责任者:
|
吉内塞雷斯 ji nei sai lei si 著 |
|
主要责任者:
|
乔杜里 qiao du li 著 |
|
次要责任者:
|
徐坚 xu jian 译 |
|
索书号:
|
3 |