歡迎訪問學兔兔,學習、交流 分享 !

                  返回首頁 |
                  當前位置: 首頁 > 書籍手冊>工業自動化 >數學機械化叢書 公理化集合論機器證明系統 郁文生,孫天宇,付堯順 著 2020年版

                  數學機械化叢書 公理化集合論機器證明系統 郁文生,孫天宇,付堯順 著 2020年版

                  收藏
                  • 大?。?span itemprop="fileSize">92.4 MB
                  • 語言:中文版
                  • 格式: PDF文檔
                  • 類別:工業自動化
                  • 更新日期:2023-12-14
                  推薦:升級會員 無限下載,節約時間成本!
                  關鍵詞:天宇   機械化   機器   數學   公理化
                  資源簡介
                  公理化集合論機器證明系統
                  作 者: 郁文生,孫天宇,付堯順 著
                  出版時間: 2020

                  內容簡介
                    利用計算機證明輔助工具,可以完整構建這三大母結構的形式化系統。本書利用交互式定理證明工具Coq,實現Morse-Kelley公理化集合論形式化系統,包括對該體系中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述,其中構造了序數和基數,定義了非負整數,把Peano公設當作定理,可以迅速而自然地給出一個數學基礎,擺脫了明顯的悖論。這是Morse-Kelley公理化集合論系統的首次形式化實現。
                  下載地址
                  99国产精品欧美一区二区三区,真实处破女系列全过程,又粗又黄又猛又爽大片免费,强辱丰满的人妻hd高清