登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入 新註冊 | 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / EMS,時效:出貨後2-3日

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

2023年12月出版新書

2023年11月出版新書

2023年10月出版新書

2023年09月出版新書

2023年08月出版新書

2023年07月出版新書

2023年06月出版新書

2023年05月出版新書

2023年04月出版新書

2023年03月出版新書

2023年02月出版新書

『簡體書』逻辑编程导论

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

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

售價:NT$ 435

我要買

share:

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



新書推薦:
不胜欢喜
《 不胜欢喜 》

售價:NT$ 296.0
现代欧洲史:1500—1815
《 现代欧洲史:1500—1815 》

售價:NT$ 493.0
高颜值创意饮品:咖啡 茶饮 鸡尾酒 气泡水
《 高颜值创意饮品:咖啡 茶饮 鸡尾酒 气泡水 》

售價:NT$ 335.0
慢慢来,好戏都在烟火里
《 慢慢来,好戏都在烟火里 》

售價:NT$ 279.0
一间自己的房间(大师名画彩插版!女性觉醒宣言!文艺女神伍尔夫献给所有女孩的独立主题演讲!)
《 一间自己的房间(大师名画彩插版!女性觉醒宣言!文艺女神伍尔夫献给所有女孩的独立主题演讲!) 》

售價:NT$ 223.0
波段交易的高级技术:股票和期权交易者的资金管理、规则、策略和程序指南
《 波段交易的高级技术:股票和期权交易者的资金管理、规则、策略和程序指南 》

售價:NT$ 442.0
人,为什么需要存在感:罗洛·梅谈死亡焦虑
《 人,为什么需要存在感:罗洛·梅谈死亡焦虑 》

售價:NT$ 381.0
锁国:日本的悲剧
《 锁国:日本的悲剧 》

售價:NT$ 437.0

建議一齊購買:

+

NT$ 813
《 Tomcat与Java Web开发技术详解(第3版)(含DVD光盘1张) 》
+

NT$ 876
《 微服务架构设计模式 》
+

NT$ 561
《 TypeScript实战指南 》
+

NT$ 709
《 Visual Basic项目开发全程实录(第4版) 》
+

NT$ 440
《 Java从入门到精通(第5版) 》
+

NT$ 624
《 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.tw
Copyright (C) 2013 - 2024 (香港)大書城有限公司 All Rights Reserved.