同类推荐
-
-
广义相对论中的若干双曲型方程
-
¥68.00
-
-
从一道高校自主招生试题谈起——兼谈詹森函数方程
-
¥58.00
-
-
漫画微积分
-
¥68.00
-
-
复变函数与积分变换
-
¥35.00
-
-
工科数学分析基础:下册
-
¥60.00
-
-
微积分:上册
-
¥63.00
-
-
漫画微积分
-
¥69.00
-
-
赋p-Amemiya范数Orlicz空间几何理论
-
¥82.00
-
-
赋p-Amemiya范数Orlicz空间几何理论
-
¥82.00
-
-
赋p-Amemiya范数Orlicz空间几何理论
-
¥82.00
|
|
图书信息
|
|
|
|
分析基础机器证明系统
|
| ISBN： | 9787030706713 |
定价： | ￥198.00 |
| 作者： | 郁文生，付尧顺，郭礼权著 |
出版社： | 科学出版社 |
| 出版时间： | 2022年01月 |
开本： | 25cm |
| 页数： | 15,396页 |
装祯： | 精装 |
中图法： | O171 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
36
|
|
2026-02-17
|
图书简介 | | 本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速而自然地给出数学分析的坚实基础。在分析基础形式化系统下，进而给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明，这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等，基于实数的完备性定理。 |
|