作者：郁文生//付尧顺//郭礼权
类别：婚姻两性电子书
关键词：分析基础机器证明系统
整理日期：2022-06-18 11:17:55
下载地址： 本地下载 网友上传
作品导读
本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau有名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了De..
分析基础机器证明系统的作者是郁文生//付尧顺//郭礼权。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。