幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

邏輯編程導論/電腦科學叢書

  • 作者：(美)邁克爾·吉內塞雷斯//維奈·K.喬杜里|責編:王春華//劉鋒|譯者:徐堅//甘健侯//孟祥棟//劉付依萍//歐陽昭相
  • 出版社：機械工業
  • ISBN：9787111691815
  • 出版日期：2021/10/01
  • 裝幀：平裝
  • 頁數：183
人民幣：RMB 79 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    邏輯編程是另一種風格的編程，其程序採用符號邏輯語言形式的語句集。多年來，由於邏輯編程在演繹資料庫、自動化工作表、企業管理（業務規則）、計演算法則和通用博弈中的應用，人們對邏輯編程越來越感興趣。本書介紹了邏輯編程理論、當前技術和流行的應用程序。
    本書採用一種創新的模型論進行邏輯編程。從數據集的基本概念（即基本原子集）開始，沿著這一基本概念，引入視圖（即虛擬關係），將經典邏輯程序定義為視圖定義集，使用傳統的類似於Prolog的表示法編寫，但語義是根據數據集而不是根據實現方式給出。然後介紹一些基本原子操作。如「添加」和「刪除」，將動態邏輯程序定義為一組動作定義集。
作者介紹
(美)邁克爾·吉內塞雷斯//維奈·K.喬杜里|責編:王春華//劉鋒|譯者:徐堅//甘健侯//孟祥棟//劉付依萍//歐陽昭相
目錄
譯者序
前言
第一部分  邏輯編程的介紹
  第1章  概述
    1.1  邏輯編程
    1.2  邏輯程序作為可運行規範
    1.3  邏輯編程的優點
    1.4  邏輯編程的應用
    1.5  基本邏輯編程
    1.6  歷史筆記
  第2章  數據集
    2.1  引言
    2.2  概念化
    2.3  數據集的定義
    2.4  示例—女生聯誼會
    2.5  示例—親屬關係
    2.6  示例—積木世界
    2.7  示例—食物世界
    2.8  重組
    2.9  習題
第二部分  查詢的更新
  第3章  查詢
    3.1  引言
    3.2  查詢語法
    3.3  查詢語義
    3.4  安全性
    3.5  預定義概念
    3.6  示例—親屬關係
    3.7  示例—地圖著色
    3.8  習題
  第4章  更新
    4.1  引言
    4.2  更新語法
    4.3  更新語義
    4.4  同步更新
    4.5  示例—親屬關係
    4.6  示例—顏色
    4.7  習題
  第5章  查詢評估
    5.1  引言
    5.2  評估真值查詢
    5.3  匹配
    5.4  用變數評估查詢
    5.5  計算分析
    5.6  習題
  第6章  視圖優化
    6.1  引言
    6.2  子目標排序
    6.3  子目標移除
    6.4  規則移除

    6.5  示例—密碼算術
    6.6  習題
第三部分  視圖的定義
  第7章  視圖定義
    7.1  引言
    7.2  語法
    7.3  語義
    7.4  半正程序
    7.5  分層程序
    7.6  習題
  第8章  視圖評估
    8.1  引言
    8.2  基礎目標和規則的自頂向下處理
    8.3  合一
    8.4  非基礎查詢和規則的自頂向下處理
    8.5  習題
  第9章  示例
    9.1  引言
    9.2  示例—親屬關係
    9.3  示例—積木世界
    9.4  示例—模運算
    9.5  示例—有向圖
    9.6  習題
  第10章  列表、集合、樹
    10.1  引言
    10.2  示例—皮亞諾公理
    10.3  列表
    10.4  示例—排序列表
    10.5  示例—集合
    10.6  示例—樹
    10.7  習題
  第11章  動態系統
    11.1  引言
    11.2  表示
    11.3  模擬
    11.4  計劃
    11.5  習題
  第12章  元知識
    12.1  引言
    12.2  自然語言處理
    12.3  布爾邏輯
    12.4  習題
第四部分  操作的定義
  第13章  操作
    13.1  引言
    13.2  語法
    13.3  語義
    13.4  習題
  第14章  動態邏輯程序
    14.1  引言

    14.2  響應式系統
    14.3  封閉系統
    14.4  混合主動
    14.5  同時動作
    14.6  習題
  第15章  資料庫管理
    15.1  引言
    15.2  約束更新
    15.3  物化視圖維護
    15.4  通過視圖更新
    15.5  習題
  第16章  互動式工作表
    16.1  互動式工作表簡介
    16.2  示例
    16.3  wangye數據
    16.4  手勢
    16.5  操作定義
    16.6  視圖定義
    16.7  語義建模
第五部分  結論
  第17章  其他類型的邏輯程序設計
    17.1  引言
    17.2  邏輯生產系統
    17.3  約束邏輯編程
    17.4  析取邏輯編程
    17.5  存在邏輯編程
    17.6  回答集編程
    17.7  歸納邏輯編程
附錄A  EpilogJS中的預定義概念
附錄B  Sierra
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032