|
题名:
|
分析基础机器证明系统 [ 专著] fen xi ji chu ji qi zheng ming xi tong / 郁文生，付尧顺，郭礼权著 , |
|
ISBN:
|
978-7-03-070671-3 价格： CNY198.00 |
|
语种:
|
chi |
|
载体形态:
|
15,396页 彩图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2022 |
|
内容提要:
|
本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础。 |
|
主题词:
|
数学分析 基础 |
|
中图分类法:
|
O171 版次： 5 |
|
主要责任者:
|
郁文生 yu wen sheng 著 |
|
主要责任者:
|
付尧顺 fu yao shun 著 |
|
主要责任者:
|
郭礼权 guo li quan 著 |
|
索书号:
|
O171/glg4702 |