注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)計算機/網(wǎng)絡(luò)行業(yè)軟件及應(yīng)用公理化集合論機器證明系統(tǒng)

公理化集合論機器證明系統(tǒng)

公理化集合論機器證明系統(tǒng)

定　價：￥128.00

作　者： 郁文生，孫天宇，付堯順 著
出版社： 科學(xué)出版社
叢編項： 數(shù)學(xué)機械化叢書
標(biāo)　簽： 暫缺
ISBN： 9787030640390 出版時間： 2020-03-01 包裝： 平裝
開本： 32開 頁數(shù)： 316 字?jǐn)?shù)：  

內(nèi)容簡介

　　利用計算機證明輔助工具，可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng)。本書利用交互式定理證明工具Coq，實現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng)，包括對該體系中8個公理（含選擇公理）和1個公理圖示以及全部181條定義或定理的Coq描述，其中構(gòu)造了序數(shù)和基數(shù)，定義了非負(fù)整數(shù)，把Peano公設(shè)當(dāng)作定理，可以迅速而自然地給出一個數(shù)學(xué)基礎(chǔ)，擺脫了明顯的悖論。這是Morse-Kelley公理化集合論系統(tǒng)的首次形式化實現(xiàn)。

作者簡介

暫缺《公理化集合論機器證明系統(tǒng)》作者簡介

圖書目錄

暫缺《公理化集合論機器證明系統(tǒng)》目錄

本目錄推薦

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