分析基础机器证明系统 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥145.60定价：¥198.00 (7.36折)
分析基础机器证明系统 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥145.60定价：¥198.00 (7.36折)
明星店铺 文轩网旗舰店
分析基础机器证明系统,科学出版社 【新华书店自营店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥147.37定价：¥198.00 (7.45折)
分析基础机器证明系统,科学出版社【新华书店总店旗舰店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥147.37定价：¥396.00 (3.73折)
明星店铺 新华书店总店旗舰店
分析基础机器证明系统 郁文生,付尧顺,郭礼权 科学出版社 【新华书店正版图书】 新华书店，电子发票，多仓就近发货
¥151.90定价：¥198.00 (7.68折)
¥92.40定价：¥128.00 (7.22折)
¥105.60定价：¥128.00 (8.25折)
¥103.70定价：¥128.00 (8.11折)
数学机械化丛书：公理化集合论机器证明系统公理化集合论机器证明系统【2本合售】【精装】 书籍非全新，8-99成新左右(实拍图以图片为准发货)
¥184.50定价：¥185.50 (9.95折)
¥101.10定价：¥128.00 (7.9折)
¥105.00定价：¥128.00 (8.21折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥94.10定价：¥128.00 (7.36折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥94.10定价：¥128.00 (7.36折)
明星店铺 文轩网旗舰店
¥126.00定价：¥198.00 (6.37折)
分析基础机器证明系统/郁文生,付尧顺,郭礼权 618正品图书限时直降！6.13-6.20全场叠加满49-5，99-10，149-15！
¥156.40定价：¥198.00 (7.9折)
分析基础机器证明系统【新华书店总店自营店】 正版图书 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥147.37定价：¥396.00 (3.73折)
分析基础机器证明系统 郁文生,付尧顺,郭礼权 科学出版社 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥153.90定价：¥198.00 (7.78折)
明星店铺 北方图书城旗舰店
公理化集合论机器证明系统 郁文生；孙天宇；付尧顺 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是Morse-Kelley公理化集合论系统的首次形式化实现.在Morse-Kelley公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey引理、Hausdorff极大原则、极大原则、Zorn引理、良序定理及Zermelo假定等.在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验
¥80.00定价：¥161.00 (4.97折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社【镜像文化专营店】 支持发票 请联系在线客服
¥121.41定价：¥128.00 (9.49折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥106.39定价：¥128.00 (8.32折)
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.70定价：¥119.97 (9.9折)
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.40定价：¥120.15 (9.86折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学F 可开发票，现货速发
¥88.66定价：¥128.00 (6.93折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社 本店支持开票 可联系在线客服索要
¥122.61定价：¥128.00 (9.58折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社 温馨提示: 正版保障 贴心售后 收藏商品 优先发货 部分书籍卖价高于定价 介者慎拍. 部分赠品赠完为止。
¥132.37定价：¥132.47
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥122.51定价：¥128.00 (9.58折)
分析基础机器证明系统 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥142.30定价：¥198.00 (7.19折)
Product Details 基本信息 ISBN-13 书号 9787030706713 Author 作者 郁文生,付尧顺,郭礼权 Format 版本 精装 Pages Number 页数 420页 Publisher 出版社 科学出版社 Publication Date 出版日期 2022-01-01 Product Dimensions 商品尺寸 B5 Language 语种 其它（含多语） Book Contents 内容简介 本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau有名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础。在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个有名等价命题间等价性的机器证明，这些命题包括确界存在定理、
¥162.00定价：¥324.00 (5折)
正版书籍 分析基础机器证明系统 (精装) 郁文生,付尧顺,郭礼权 著 科学出版社 正版图书支持发票 七天无理由退货让您购物无忧
¥162.36
¥168.30定价：¥198.00 (8.5折)
¥137.61定价：¥198.00 (6.95折)
¥137.61定价：¥198.00 (6.95折)
分析基础机器证明系统(精)/数学机械化丛书 新华正版 团购优惠请咨询客服
¥136.62定价：¥198.00 (6.9折)
¥138.40定价：¥198.00 (6.99折)
¥137.61定价：¥198.00 (6.95折)
¥137.61定价：¥198.00 (6.95折)
¥138.00定价：¥198.00 (6.97折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 【新华书店正版图书】
¥100.50定价：¥128.00 (7.86折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥102.50定价：¥128.00 (8.01折)
明星店铺 北方图书城旗舰店
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 【新华全新正版书籍】
¥95.40定价：¥128.00 (7.46折)
¥88.96定价：¥128.00 (6.95折)
公理化集合论机器证明系统(精)/数学机械化丛书 团购优惠，咨询在线客服
¥108.80定价：¥128.00 (8.5折)
¥90.00定价：¥128.00 (7.04折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥92.00定价：¥128.00 (7.19折)
¥89.70定价：¥128.00 (7.01折)
¥90.00定价：¥128.00 (7.04折)
¥88.96定价：¥128.00 (6.95折)
¥88.96定价：¥128.00 (6.95折)
¥88.32定价：¥128.00 (6.9折)
¥90.00定价：¥128.00 (7.04折)
分析基础机器证明系统 郁文生,付尧顺,郭礼权 著 科学出版社
¥243.00定价：¥243.00
¥199.00定价：¥258.00 (7.72折)
分析基础机器证明系统 郁文生,付尧顺,郭礼权 著 科学出版社
¥243.00定价：¥243.00
分析基础机器证明系统 郁文生,付尧顺,郭礼权 著 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥140.80定价：¥198.00 (7.12折)
分析基础机器证明系统 郁文生,付尧顺,郭礼权 著 科学出版社
¥142.30定价：¥198.00 (7.19折)
公理化集合论机器证明系统 郁文生, 孙天宇, 付尧顺著 科学出版社
¥138.00定价：¥138.00
公理化集合论机器证明系统 郁文生,孙天宇,付尧顺 著 科学出版社
¥113.00定价：¥128.00 (8.83折)
公理化集合论机器证明系统 郁文生,孙天宇,付尧顺 著 科学出版社
¥113.00定价：¥113.00
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 科学出版社
¥92.00定价：¥128.00 (7.19折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥91.00定价：¥128.00 (7.11折)
