¥101.40定价：¥128.00 (7.93折)
¥105.60定价：¥128.00 (8.25折)
¥101.10定价：¥128.00 (7.9折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥122.51定价：¥128.00 (9.58折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学F 可开发票，现货速发
¥88.66定价：¥128.00 (6.93折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥102.50定价：¥128.00 (8.01折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥80.90定价：¥128.00 (6.33折)
¥82.90定价：¥128.00 (6.48折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥79.10定价：¥128.00 (6.18折)
明星店铺 文轩网旗舰店
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社 温馨提示: 正版保障 贴心售后 收藏商品 优先发货 部分书籍卖价高于定价 介者慎拍. 部分赠品赠完为止。
¥132.37定价：¥132.47
公理化集合论机器证明系统 郁文生；孙天宇；付尧顺 科学出版社 【速开发票，此书为单本而非一套，支持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折)
¥103.70定价：¥128.00 (8.11折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥106.39定价：¥128.00 (8.32折)
¥105.00定价：¥128.00 (8.21折)
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.70定价：¥119.97 (9.9折)
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.40定价：¥120.15 (9.86折)
数学机械化丛书：公理化集合论机器证明系统公理化集合论机器证明系统【2本合售】【精装】 书籍非全新，8-99成新左右(实拍图以图片为准发货)
¥184.50定价：¥185.50 (9.95折)
¥128.00定价：¥128.00
¥88.96定价：¥128.00 (6.95折)
公理化集合论机器证明系统(精)/数学机械化丛书 团购优惠，咨询在线客服
¥108.80定价：¥128.00 (8.5折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 【新华书店正版图书】
¥100.50定价：¥128.00 (7.86折)
¥88.90定价：¥128.00 (6.95折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥83.60定价：¥128.00 (6.54折)
公理化集合论机器证明系统 郁文生,孙天宇,付尧顺 著 科学出版社
¥113.00定价：¥113.00
公理化集合论机器证明系统 郁文生,孙天宇,付尧顺 著 科学出版社
¥113.00定价：¥128.00 (8.83折)
¥88.90定价：¥128.00 (6.95折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 科学出版社
¥83.60定价：¥128.00 (6.54折)
¥88.96定价：¥128.00 (6.95折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥83.60定价：¥128.00 (6.54折)
¥87.68定价：¥128.00 (6.85折)
¥88.96定价：¥128.00 (6.95折)
公理化集合论机器证明系统 郁文生, 孙天宇, 付尧顺著 科学出版社
¥138.00定价：¥138.00
¥88.90定价：¥128.00 (6.95折)
¥88.90定价：¥128.00 (6.95折)
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数 品质好书 正版保障 优质服务 发货及时 售后无忧
集论公理系统,机器证明
¥94.40定价：¥128.00 (7.38折)
