TOP
0
0
即日起~6/30,暑期閱讀書展,好書7折起

縮小範圍


商品類型

簡體書 (2)
商品狀況

可訂購商品 (2)
庫存狀況

無庫存 (2)
商品定價

$600~$799 (1)
$800以上 (1)
出版日期

2022~2023 (1)
2020~2021 (1)
裝訂方式

精裝 (2)
作者

郁文生 (1)
郁文生、孫天宇、付堯順 (1)
出版社/品牌

科學出版社 (2)

三民網路書店 / 搜尋結果

2筆商品,1/1頁
分析基礎機器證明系統(簡體書)
滿額折
作者:郁文生  出版社:科學出版社  出版日:2022/01/10 裝訂:精裝
本書利用交互式定理證明工具Coq,在樸素集合論的基礎上,從Peano五條公設出發,完整實現Landau著名的《分析基礎》中實數理論的形式化系統,包括對該專著中全部5個公設、73條定義和301個定理的Coq描述,其中依次構造了自然數、分數、分割、實數和複數,並建立了Dedekind實數完備性定理,從而迅速而自然地給出數學分析的堅實基礎.在分析基礎形式化系統下,進而給出Dedekind實數完備性定理與它的幾個著名等價命題間等價性的機器證明,這些命題包括確界存在定理、單調有界原理、Cauchy-Cantor閉區間套定理、Heine-Borel-Lebesgue有限覆蓋定理、Bolzano-Weierstrass聚點原理、Bolzano-Weierstrass列緊性定理及Bolzano-Cauchy收斂準則等,基於實數的完備性定理,作為應用,進一步給出閉區間上連續函數的重要性質--有界性定理、最值定理、介值定理、一致連續性定理--的機器證明.另外,還給出張景中院士提出的第三代微積分--即不用極限的微積分--的形式化系統實現.
定價:1188 元, 優惠價:87 1034
海外經銷商無庫存,到貨日平均30天至45天
公理化集合論機器證明系統(簡體書)
滿額折
作者:郁文生; 孫天宇; 付堯順  出版社:科學出版社  出版日:2020/12/21 裝訂:精裝
利用計算機證明輔助工具,可以完整構建這三大母結構的形式化系統。本書利用交互式定理證明工具Coq,實現Morse-Kelley公理化集合論形式化系統,包括對該體系中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述,其中構造了序數和基數,定義了非負整數,把Peano公設當作定理,可以迅速而自然地給出一個數學基礎,擺脫了明顯的悖論。這是Morse-Kelley公理化集合論系統的
定價:768 元, 優惠價:87 668
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區