購物比價找書網找車網
FindBook  
 有 1 項符合

機器證明的邏輯推定

的圖書
機器證明的邏輯推定 機器證明的邏輯推定

作者:李娜 
出版社:科學出版社
出版日期:2023-06-01
語言:簡體中文   規格:平裝 / 255頁 / 19 x 26 x 1.28 cm / 普通級/ 1-1
圖書選購
型式價格供應商所屬目錄
 
$ 668
博客來 博客來
數學
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:機器證明的邏輯推定

內容簡介

邏輯定理的機器證明是人工智慧領域人們最早從事研究的課題。《機器證明的邏輯推定》從邏輯定理的人工證明和機器證明兩方面來展現邏輯定理證明的藝術,而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現。《機器證明的邏輯推定》首先用作者構造的命題演算系統FPC和狹謂詞演算系統FQC完成常用邏輯定理的人工證明(一種自然推理證明)。

其次,用邏輯定理的機器證明工具TPG(Tree Proof Generator)實現邏輯定理的自動證明(一種樹證明)。最後,用互動式定理機器證明工具Fitch實現了邏輯定理的計算機證明(一種自然推理證明)。本書可作為哲學、邏輯學、數學、語言學等相關專業學生學習邏輯學的參考書,也可為人工智慧相關研究者提供參考。
 

目錄

前言

第1章 邏輯演算系統FPC和FQC 1
1.1 命題邏輯演算系統FPC 1
1.1.1 系統FPC的形式語言 1
1.1.2 系統FPC的推理規則 3
1.2 謂詞演算系統FQC 8
1.2.1 系統FQC的形式語言 8
1.2.2 系統FQC的推理規則 11

第2章 人工對邏輯系統定理的證明 14
2.1 人工對系統FPC定理的證明 14
2.2 人工對系統FQC定理的證明 41

第3章 演算系統的樹證明 66
3.1 樹證明規則 66
3.1.1 FPC的樹證明規則 66
3.1.2 FQC的樹證明規則 69
3.2 電腦自動證明器TPG簡介 72
3.2.1 TPG的功能 72
3.2.2 TPG的使用說明 72
3.3 FPC定理的樹證明 73
3.4 FQC定理的樹證明 120

第4章 邏輯演算系統的擴充系統 157
4.1 命題演算系統FPC的擴充系統FPC 157
4.2 謂詞演算系統FQC的擴充系統FQC 159
4.3 邏輯系統FPC的推理規則一覽表 160
4.3.1 系統FPC推理規則一覽表 160
4.3.2 系統FQC推理規則一覽表 162

第5章 邏輯演算系統的Fitch證明 163
5.1 Fitch簡介 163
5.2 Fitch的部分證明規則 164
5.2.1 Fitch的命題規則 164
5.2.2 Fitch的部分一階規則 167
5.2.3 Fitch證明的部分結論規則 168
5.3 系統FPC定理的Fitch證明 169
5.4 系統FQC定理的Fitch證明 221

參考文獻 256
 

詳細資料

  • ISBN:9787030756244
  • 規格:平裝 / 255頁 / 19 x 26 x 1.28 cm / 普通級 / 1-1
  • 出版地:中國
贊助商廣告
 
金石堂 - 今日66折
健康之道有聲書第8輯
作者:許添盛
出版社:賽斯文化
出版日期:2016-05-05
66折: $ 660 
金石堂 - 今日66折
影響力習慣:5種心態×15個習慣,從邊緣人變成最有價值的關鍵人物
作者:莉茲.懷斯曼
出版社:時報文化出版企業股份有限公司
出版日期:2022-10-25
66折: $ 297 
金石堂 - 今日66折
STEM的一天:數學-配合108課綱數學領域,培養小學生基礎數理素養,具備計算與應用能力!
作者:安魯尼
出版社:五南圖書出版股份有限公司
出版日期:2020-03-28
66折: $ 211 
金石堂 - 今日66折
心靈的本質有聲書第 5 輯
作者:許添盛
出版社:賽斯文化
出版日期:2016-07-01
66折: $ 660 
 
金石堂 - 暢銷排行榜
薔薇與香檳(1)
作者:Ttung gae
出版社:台灣角川股份有限公司
出版日期:2025-02-06
$ 300 
金石堂 - 暢銷排行榜
鋼之鍊金術師 CHRONICLE(全)
作者:荒川弘
出版社:尖端漫畫
出版日期:2025-02-06
$ 383 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-20抽(黃)
作者:新台
出版社:新台圖書
出版日期:2023-08-30
$ 26 
博客來 - 暢銷排行榜
孤獨搖滾! 7 (首刷限定版)
出版日期:2025-01-20
$ 246 
 
博客來 - 新書排行榜
特殊傳說Ⅲ【2025珍藏特裝組】
出版日期:2025-02-12
$ 702 
Taaze 讀冊生活 - 新書排行榜
2025【精選作文範例】國文(作文)[速成+歷年試題](不動產經紀人)
作者:高朋、尚榜
出版社:千華數位文化股份有限公司
出版日期:2025-01-30
$ 387 
博客來 - 新書排行榜
光逝去的夏天 (5)
出版日期:2025-02-13
$ 110 
Taaze 讀冊生活 - 新書排行榜
就是這樣的性愛觀(02)
作者:裏筋侍
出版社:暮想出版股份有限公司
出版日期:2025-01-20
$ 270 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策