在分析基础形式化系统下,给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明,这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等,基于实数的完备性定理,作为应用,...
《分析基础机器证明系统/郁文生,付尧顺,郭礼权》,作者:分析基础机器证明系统/郁文生,付尧顺,郭礼权郁文生 著,出版社:科学出版社,ISBN:9787030706713。
分析基础机器证明系统(精)/数学机械化丛书 作者:郁文生//付尧顺//郭礼权|责编:王丽平|总主编:吴文俊出版社:科学出版时间:2022年01月 手机专享价 ¥ 当当价降价通知 ¥156.42 定价 ¥198.00 配送至 浙江杭州市 至北京市东城区 服务 由“土星图书专营店”发货,并提供售后服务。
AR全息绘本盖亚斯星球 ¥28.5 熊出没.跟熊大熊二学折纸 ¥16 和杜甫一起写家国(楷书)/时代写字硬笔书法系列 ¥18 乐高Boost机器人探索书 机器人搭建和编程初学指南(全彩) ¥99 启蒙认知拼图书 ¥50 进店逛逛 客服 购物车 加入购物车 立即购买 ...
* 实际价格以各网站列出的实时售价为准,豆瓣提供的价格可能有数小时至数日的延迟。 * 价格不包括递送费用。 * 淘书网特价书均为尾货库存图书,在品相,光盘等附属品上可能与正价书稍有区别。 分析基础机器证明系统 作者: 郁文生, 付尧顺, 郭礼权 isbn: 7030706714 书名: 分析基础机器证明系统 页数: 396 定价...
图书>科学与自然>数学>科学出版社(SCIENCE PRESS) >分析基础机器证明系统自营 科学出版社京东自营官方旗舰店 登录查看更多图片 > 分析基础机器证明系统 郁文生,付尧顺,郭礼权 著 京东价 ￥ 促销 展开促销 配送至 --请选择-- 支持 加入购物车
分析基础机器证明系统，是科学出版社2022年1月出版的一本图书，作者是郁文生,付尧顺,郭礼权 内容简介 本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数...