MARC状态:审校 文献类型:中文图书 浏览次数:3
- 题名/责任者:
- 分析基础机器证明系统/郁文生,付尧顺,郭礼权著
- 出版发行项:
- 北京:科学出版社,2022
- ISBN及定价:
- 978-7-03-070671-3 精装/CNY198.00
- 载体形态项:
- 15,396页:彩图;24cm
- 丛编项:
- 数学机械化丛书;14
- 个人责任者:
- 郁文生 著
- 个人责任者:
- 付尧顺 著
- 个人责任者:
- 郭礼权 著
- 学科主题:
- 数学分析-基础-机器证明
- 中图法分类号:
- O171
- 责任者附注:
- 北京邮电大学
- 提要文摘附注:
- 本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理的Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分析的坚实基础。
- 使用对象附注:
- 本书适用于数学与计算机科学、信息科学相关专业的高年级本科生或研究生、从事人工智能相关科研工作者
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O171/13 | B0106420 | 库本 库351088 | 可借 | 库本 | |
O171/13 | B0106419 | 基本书库 | 可借 | 基本书库 |
显示全部馆藏信息