TOP
0
0
進階搜尋

熱搜：

張忠謀自傳

、

英雄聯盟奧術

、

2025國家公園月曆

、

2025三民手札

、

制度基因

、

谷川俊太郎

、

曬書祭

、

黃越綏最新創作

、

蔡康永

、

張曼娟全新創作

、

解鎖程兆熊前半生

熱搜： 張忠謀自傳、 英雄聯盟奧術、 2025國家公園月曆、 2025三民手札、 制度基因、 谷川俊太郎、 曬書祭、 黃越綏最新創作、 蔡康永、 張曼娟全新創作、 解鎖程兆熊前半生

165反詐騙

三民出版．新書搶先報｜最速、最優惠的新鮮貨報給你知！

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$800以上 （1）
出版日期
2024年 （1）
裝訂方式
精裝 （1）
作者
郁文生、竇國威 （1）
出版社/品牌
科學出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
自然數的緊化延伸機器證明系統（簡體書）
滿額折
1.

自然數的緊化延伸機器證明系統（簡體書）

作者：郁文生; 竇國威  出版社：科學出版社  出版日：2024/05/01 裝訂：精裝
本書利用交互式定理證明工具Coq，在Morse-Kelley公理化集合論形式化系統下，給出中國科學技術大學汪芳庭教授在其《數學基礎》中採用算術超濾分數構造實數的機器證明系統，包括超濾空間與算術超濾的基本概念、超濾變換以及用算術超濾構造算術模型的形式化實現，完成實數模型的形式化構建，並且給出濾子擴張原則和連續統假設蘊含非主算術超濾存在的形式化驗證，在我們開發的系統中，全部定理無例外地給出Coq的機器證明代碼，所有形式化過程已被Coq驗證，並在計算機上運行通過。
海外經銷商無庫存，到貨日平均30天至45天
定價：1728 元， 優惠價：87 1503
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品