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

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

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

定　價：￥89.00

作　者： 馬明輝
出版社： 科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽： 暫缺
ISBN： 9787030754745 出版時間： 2023-06-01 包裝： 平裝膠訂
開本： 頁數(shù)： 字?jǐn)?shù)：  

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.shuitoufair.cn 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號