《 逻辑程序设计导论 》
- 逻辑程序设计
- 选题分类：计算机理论
- 原版语种：英语（可提供图书翻译服务）
- 出版日期：2020年02月
- 页数：219页
- 图书定价：（不详）
- 开本：190mm×234mm
- 浏览次数：371
- 字数：（不详）
- 作品星级：
- 内文印刷：单色
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
推荐人
“在一个深度学习和Python成为热门话题的世界里，这本书是一个非凡的发展，它向读者介绍了传统逻辑编程的基本原理，并明确说明了使用该技术为复杂系统创建可运行规范的好处。”——Son Cao Tran，新墨西哥州立大学计算机科学教授
“完美的逻辑编程基础介绍，这本书写得很好，结构也很好，概念被解释得很清楚，而且练习的复杂性也在逐渐增加，这使得人们能够在理解更复杂的概念之前快速理解简单的概念。”-乔治·杨格，斯坦福大学学生
内容简介
本书采用一种创新的、模型理论的方法来进行逻辑编程。从数据集的基本概念开始，即地面原子的集合，根据这个基本概念，引入视图，即虚拟关系；将经典的逻辑程序定义为一组视图定义，使用传统的类似于prolog的表示法编写，但是根据数据集而不是实现来给出语义。然后引入动作，即地面原子的添加和删除；将动态逻辑程序定义为动作定义的集合。
除了书籍，还有一个带有解释器和编译器在线版本的文本，以及用于开发和部署实际逻辑程序的集成开发环境。
作者介绍
斯坦福大学计算机科学系的教授，也是斯坦福大学法学院的教授。他在麻省理工学院获得物理学博士学位，在哈佛大学获得应用数学博士学位。杰纳西斯最为人所知的是他在计算逻辑方面的工作，以及他在企业管理、计算法则和一般游戏中的应用。他是Teknowledge、CommerceNet、Mergent Systems和Symbium的创始人之一。杰纳西斯是斯坦福大学逻辑组的现任主任和CodeX（斯坦福法律信息中心）的联合创始人和研究主任。
维纳伊·K·乔杜里
曾是斯坦福国际研究所（SRI International）人工智能中心的项目主任，目前隶属于斯坦福大学计算机科学系。他在加拿大多伦多大学获得了计算机科学博士学位。乔杜里博士是公认的人工智能专家，包括知识表示和推理、问题回答、本体和知识获取。在斯坦福大学，他的活动包括促进中学逻辑教育，研究快速获取正式知识的技术，以及生产智能教科书。他为金融行业提供可计算合同和知识图表方面的咨询。他还教授知识表示、推理和逻辑编程课程。
图书目录
Datasets
Queries
Updates
Query Evaluation
View Optimization
View Definitions
View Evaluation
Examples
Lists, Sets, Trees
Dynamic Systems
Metaknowledge
Operations
Dynamic Logic Programs
Database Management
Interactive Worksheets
Variations
References
Authors' Biographies
请输入分享的Email地址：
