掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
機器證明的邏輯推定 版權信息
- ISBN：9787030756244
- 條形碼：9787030756244 ; 978-7-03-075624-4
- 裝幀：平裝
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
機器證明的邏輯推定 內容簡介
本書從人工證明和機器證明兩個方面展現經典邏輯系統定理證明的藝術。其中，人工證明是作者在2006年出版的《數理邏輯的思想與方法》（南開大學出版社）一書中構造的命題邏輯演算系統FPC和狹謂詞邏輯演算系統FQC的基礎上完成的；將這些系統擴充后完成了邏輯定理的機器證明。邏輯定理的機器證明分別用自動證明器TreeProofGenerator（用在線軟件）和人機交互式證明器Fitch(用J.Barwise等人的LanguageProofandLogic一書所附的計算機程序軟件)兩個軟件完成。
機器證明的邏輯推定 目錄
目錄 前言 第1章 邏輯演算系統FPC和FQC 11.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
展開全部
書友推薦
- >
自卑與超越
- >
莉莉和章魚
- >
推拿
- >
月亮與六便士
- >
我從未如此眷戀人間
- >
伯納黛特,你要去哪(2021新版)
- >
伊索寓言-世界文學名著典藏-全譯本
- >
我與地壇
