登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書

『簡體書』逻辑编程导论

書城自編碼： 3683730
分類：簡體書→大陸圖書→計算機/網絡→程序設計
作者： [美]迈克尔·吉内塞雷斯[Michael Geneseret
國際書號(ISBN)： 9787111691815
出版社： 机械工业出版社
出版日期： 2021-10-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 96.4

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
权势转移：近代中国的思想与社会（修订版）
《 权势转移：近代中国的思想与社会（修订版） 》
售價：HK$ 93.2
欧洲四千年
《 欧洲四千年 》
售價：HK$ 93.2
孙中山与海南（1905—1913）
《 孙中山与海南（1905—1913） 》
售價：HK$ 92.0
故宫雅趣：紫禁城皇室生活与君臣轶事
《 故宫雅趣：紫禁城皇室生活与君臣轶事 》
售價：HK$ 103.8
金钱、奇珍异品与造物术：荷兰黄金时代的科学与贸易
《 金钱、奇珍异品与造物术：荷兰黄金时代的科学与贸易 》
售價：HK$ 115.6
本该成为女王的姐妹：都铎王朝的一段悲剧
《 本该成为女王的姐妹：都铎王朝的一段悲剧 》
售價：HK$ 115.6
棺材船：爱尔兰大饥荒时期海上的生与死
《 棺材船：爱尔兰大饥荒时期海上的生与死 》
售價：HK$ 103.8
新左派政治经济学：一个局外人的看法（汉译名著本14）
《 新左派政治经济学：一个局外人的看法（汉译名著本14） 》
售價：HK$ 33.6

 
建議一齊購買：

+

HK$ 174.2
《 Tomcat与Java Web开发技术详解（第3版）（含DVD光盘1张） 》		 +

HK$ 187.7
《 微服务架构设计模式 》		 +

HK$ 120.2
《 TypeScript实战指南 》		 +

HK$ 148.2
《 Visual Basic项目开发全程实录（第4版） 》		 +

HK$ 94.2
《 Java从入门到精通（第5版） 》		 +

HK$ 133.7
《 Three.js开发指南：基于WebGL和HTML5在网页上渲染3D图形和动画（原书第3版） 》
內容簡介：
本书采用一种创新的模型论进行逻辑编程，从数据集的基本概念(即闭原子集)开始。沿着这一基本概念，我们引入视图(即虚拟关系)；我们将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除。
內容試閱：
本书是关于逻辑编程的入门教科书，它主要适用于本科生，但也适合中学生和低年级研究生阅读。
本书假设学生已经理解集合和集合运算，比如并集、交集等。本书还假设学生熟悉符号运算，掌握高中代数或有更高水平。
如果读者有运用计算思维的经验，会对阅读本书有帮助，但这并不是阅读本书的条件。另外，编程经验也不是必需的。实际上，我们已经观察到，一些具有编程背景的学生刚开始阅读这本书的时候比没有编程经验的学生要困难得多。为了欣赏逻辑编程的力量和美感，他们似乎需要忘掉一些以前学过的知识。
本书采用的逻辑编程方法来自30多年来我们在学术和商业环境中的研究、应用和教学。这些经历很宝贵，使得本书在以下两个方面不同于其他书籍。
，本书采用“模型–理论”的方法来阐述语义，而不用传统的“证据–理论”方法。从数据集的基本概念（即基本原子集）开始，我们引入了视图定义的经典逻辑程序，这种程序使用传统的Prolog表示法编写，但根据数据集而不是实现给出语义。我们也会在稍后的演示中讨论实现。
第二，我们同时关注数据集的改变与逻辑代理的状态。在讨论了数据集之后，我们引入了“更新”的基本概念，即“添加”和“删除”基本原子。根据这个基本概念，我们引入动态逻辑程序作为动作定义集，其中动作被概念化为同步更新集。这个扩展允许我们讨论逻辑代理以及静态逻辑程序。（逻辑代理实际上是一个状态机，其中每个状态被建模为数据集，每条弧被建模为一组更新。）
本书有印刷版和在线版，还通过教学网站提供能自动评分的在线练习、编程作业、逻辑编程工具和各种示例程序。该网站免费开放，网址为http://logicprogramming.stanford.edu。
后，我们要感谢对本书的编写工作产生深远影响的两个人：Jeff Ullman 和 Bob Kowalski。Jeff Ullman是我们在斯坦福大学的同事，他编写的广受欢迎的教材启发了我们，并帮助我们认识到逻辑编程和数据库之间的深层关系。Bob Kowalski是逻辑编程的共同发明者，他倾听了我们的想法，为我们的工作提供帮助，甚至就本书的某些章节与我们进行了合作。
我们还想感谢Abhijeet Mohapatra。他是动态逻辑编程的共同发明者，也是本书中许多逻辑编程工具的共同创造者。他是这门课程的助教，为本书内容的呈现和组织提供了宝贵的建议。
后，我们要感谢那些不得不忍受本书早期版本的学生们，在许多情况下，他们通过经历并不总是成功的实验来帮助我们找到正确的方法。尽管犯了很多错误，他们似乎还是学会了书中的内容，他们很聪明。他们的耐心和建设性的意见对于帮助我们理解哪些东西是可取的尤为宝贵。
Michael Genesereth和Vinay K. Chaudhri
2019年12月

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.