注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當前位置： 首頁出版圖書教育/教材/教輔教材研究生/本科/專科教材結構證明論（第二版）

結構證明論（第二版）

結構證明論（第二版）

定　價：￥89.00

作　者： 馬明輝
出版社： 科學出版社
叢編項：
標　簽： 暫缺

購買這本書可以去

ISBN： 9787030754745 出版時間： 2023-06-01 包裝： 平裝膠訂
開本： 頁數(shù)： 字數(shù)：  

內(nèi)容簡介

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

作者簡介

暫缺《結構證明論（第二版）》作者簡介

圖書目錄

暫缺《結構證明論（第二版）》目錄

本目錄推薦

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