結構證明論 (第2版) 馬明輝 9787030754745 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：科學
物品所在地：中國大陸
原出版社：科學
NT$566
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202306*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：結構證明論 (第2版) ISBN：9787030754745 出版社：科學 著編譯者：馬明輝 叢書名：高等學校邏輯學專業系列教材 頁數：245 所在地：中國大陸 *此為代購商品 書號：1548471 可大量預訂，請先連絡。 內容簡介 證明論是邏輯基礎理論的分支，結構證明論是證明論的分支，它研究演算中的分析性證明，本書在介紹古典句子邏輯和直覺主義邏輯的基礎上，給出公理系統、自然演繹和矢列演算等不同類型的邏輯演算，根據結構的定義和結構規則，區分不同類型的矢列演算，並且以切割消除為工具，給出了插值性質、可判定性等問題的證明，本書還介紹了一階邏輯、模態邏輯和代數邏輯的矢列演算。 本書適合邏輯學相關專業的高校師生閱讀，也可供對邏輯學感興趣的讀者閱讀。目錄 叢書序第二版前言 第一版前言 第1章 緒論 1 1 證明的概念 1 2 公理系統與形式系統 1 3 證明論的發展 第2章 句子邏輯 2 1 古典句子邏輯 2 2 直覺主義句子邏輯 2 3 嵌入定理 習題 第3章 自然演繹 3 1 費奇式自然演繹 3 2 甘岑式自然演繹 3 3 正規化 習題 第4章 矢列演算 4 1 G0型矢列演算 4 2 切割消除 4 3 可判定性 4 4 插值性質 習題 第5章 矢列演算的結構規則 5 1 交換規則和弱化規則 5 2 收縮規則 5 3 直覺主義句子邏輯的停機矢列演算 習題 第6章 一階邏輯 6 1 一階邏輯的公理系統 6 2 一階邏輯的矢列演算 6 3 直覺主義謂詞邏輯的矢列演算 習題 第7章 古典模態句子邏輯 7 1 正規模態邏輯 7 2 模態矢列演算 7 3 超矢列演算 習題 第8章 代數邏輯 8 1 偏序代數結構 8 2 格與分配格 8 3 德摩根代數 習題 參考文獻 後記 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
