注冊(cè) | 登錄讀書(shū)好，好讀書(shū)，讀好書(shū)！
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置： 首頁(yè)出版圖書(shū)教育/教材/教輔教材研究生/本科/專(zhuān)科教材結(jié)構(gòu)證明論（第二版）

結(jié)構(gòu)證明論（第二版）

結(jié)構(gòu)證明論（第二版）

定　價(jià)：￥89.00

作　者： 馬明輝
出版社： 科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽： 暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN： 9787030754745 出版時(shí)間： 2023-06-01 包裝： 平裝膠訂
開(kāi)本： 頁(yè)數(shù)： 字?jǐn)?shù)：  

內(nèi)容簡(jiǎn)介

　　證明論是邏輯基礎(chǔ)理論的分枝. 結(jié)構(gòu)證明論是證明論的分枝，它研究演算中的分析性證明. 本書(shū)在介紹古典句子邏輯和直覺(jué)主義邏輯的基礎(chǔ)上，給出公理系統(tǒng)、自然演繹和矢列演算等不同類(lèi)型的邏輯演算. 根據(jù)結(jié)構(gòu)的定義和結(jié)構(gòu)規(guī)則，區(qū)分不同類(lèi)型的矢列演算，并且以切割消除為工具，給出了插值性質(zhì)、可判定性等問(wèn)題的證明. 本書(shū)還介紹了一階邏輯、模態(tài)邏輯和代數(shù)邏輯的矢列演算.

作者簡(jiǎn)介

暫缺《結(jié)構(gòu)證明論（第二版）》作者簡(jiǎn)介

圖書(shū)目錄

暫缺《結(jié)構(gòu)證明論（第二版）》目錄

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) www.dappsexplained.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)