山西大同大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

分析基础机器证明系统/郁文生，付尧顺，郭礼权著

出版发行项:

北京:科学出版社,2022

ISBN及定价:

978-7-03-070671-3 精装/CNY198.00

载体形态项:

15,396页:彩图;24cm

并列正题名:

Machine proof system of foundations of analysis

丛编项:

数学机械化丛书;14

个人责任者:

郁文生 著

个人责任者:

付尧顺 著

个人责任者:

郭礼权 著

学科主题:

数学分析-基础-机器证明

中图法分类号:

O171

责任者附注:

北京邮电大学

提要文摘附注:

本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础。

使用对象附注:

本书适用于数学与计算机科学、信息科学相关专业的高年级本科生或研究生、从事人工智能相关科研工作者

豆瓣简介：