機器證明的邏輯推定 李娜 9787030756244 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：科學
物品所在地：中國大陸
原出版社：科學
NT$814
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202306*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：機器證明的邏輯推定 ISBN：9787030756244 出版社：科學 著編譯者：李娜 頁數：255 所在地：中國大陸 *此為代購商品 書號：1548595 可大量預訂，請先連絡。 內容簡介 邏輯定理的機器證明是人工智慧領域人們最早從事研究的課題。本書從邏輯定理的人工證明和機器證明兩方面來展現邏輯定理證明的藝術，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現。本書首先用作者構造的命題演算系統FPC和狹謂詞演算系統FQC完成常用邏輯定理的人工證明（一種自然推理證明）。其次，用邏輯定理的機器證明工具TPG（Tree Proof Generator）實現邏輯定理的自動證明（一種樹證明）。最後，用互動式定理機器證明工具Fitch實現了邏輯定理的計算機證明（一種自然推理證明）。 本書可作為哲學、邏輯學、數學、語言學等相關專業學生學習邏輯學的參考書，也可為人工智慧相關研究者提供參考。目錄 前言第1章 邏輯演算系統FPC和FQC 1 1 命題邏輯演算系統FPC 1 1 1 系統FPC的形式語言 1 1 2 系統FPC的推理規則 1 2 謂詞演算系統FQC 1 2 1 系統FQC的形式語言 1 2 2 系統FQC的推理規則 第2章 人工對邏輯系統定理的證明 2 1 人工對系統FPC定理的證明 2 2 人工對系統FQC定理的證明 第3章 演算系統的樹證明 3 1 樹證明規則 3 1 1 FPC的樹證明規則 3 1 2 FQC的樹證明規則 3 2 計算機自動證明器TPG簡介 3 2 1 TPG的功能 3 2 2 TPG的使用說明 3 3 FPC定理的樹證明 3 4 FQC定理的樹證明 第4章 邏輯演算系統的擴充系統 4 1 命題演算系統FPC的擴充系統FPC’ 4 2 謂詞演算系統FQC的擴充系統FQC’ 4 3 邏輯系統FPC的推理規則一覽表 4 3 1 系統FPC推理規則一覽表 4 3 2 系統FQC推理規則一覽表 第5章 邏輯演算系統的Fitch證明 5 1 Fitch簡介 5 2 Fitch的部分證明規則 5 2 1 Fitch的命題規則 5 2 2 Fitch的部分一階規則 5 2 3 Fitch證明的部分結論規則 5 3 系統FPC定理的Fitch證明 5 4 系統FQC定理的Fitch證明 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
