¥92.40定价:¥128.00 (7.22折)
自然数的紧化延伸机器证明系统 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥211.80定价:¥288.00 (7.36折)
明星店铺 文轩网旗舰店
¥103.70定价:¥128.00 (8.11折)
自然数的紧化延伸机器证明系统 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥211.80定价:¥288.00 (7.36折)
自然数的紧化延伸机器证明系统9787030775450兴海图书专营店 正版图书保证质量 七天无理由退货让您购物无忧
¥236.40定价:¥288.00 (8.21折)
自然数的紧化延伸机器证明系统 书籍非全新,8-99成新左右(实拍图以图片为准发货)
¥226.20定价:¥288.00 (7.86折)
分析基础机器证明系统 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥145.60定价:¥198.00 (7.36折)
明星店铺 文轩网旗舰店
¥216.00定价:¥288.00 (7.5折)
自然数的紧化延伸机器证明系统,科学出版社【新华书店总店自营店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达!团购优惠咨询:13284178503
¥219.80定价:¥576.00 (3.82折)
¥105.60定价:¥128.00 (8.25折)
分析基础机器证明系统 郁文生,付尧顺,郭礼权 科学出版社 【新华书店正版图书】 新华书店,电子发票,多仓就近发货
¥151.90定价:¥198.00 (7.68折)
¥105.00定价:¥128.00 (8.21折)
分析基础机器证明系统,科学出版社 【新华书店自营店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达!团购优惠咨询:13284178503
¥147.37定价:¥198.00 (7.45折)
¥101.10定价:¥128.00 (7.9折)
分析基础机器证明系统,科学出版社【新华书店总店旗舰店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达!团购优惠咨询:13284178503
¥147.37定价:¥396.00 (3.73折)
明星店铺 新华书店总店旗舰店
¥332.29定价:¥332.29
自然数的紧化延伸机器证明系统【可开发票】 可开发票,团购联系在线客服有优惠
¥288.00定价:¥288.00
分析基础机器证明系统 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥145.60定价:¥198.00 (7.36折)
自然数的紧化延伸机器证明系统(精装) 9787030775450 正版图书,收到货可开电子发票。划线价为图书市场价格。商品图片仅供参考,以实物为准。(书名没写全多少册的均为单本价格)
¥187.20定价:¥288.00 (6.5折)
自然数的紧化延伸机器证明系统,科学出版社【新华书店自营店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达!团购优惠咨询:13284178503
¥219.80定价:¥288.00 (7.64折)
¥167.30定价:¥198.00 (8.45折)
数学机械化丛书:公理化集合论机器证明系统公理化集合论机器证明系统【2本合售】【精装】 书籍非全新,8-99成新左右(实拍图以图片为准发货)
¥184.50定价:¥185.50 (9.95折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥94.10定价:¥128.00 (7.36折)
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥94.10定价:¥128.00 (7.36折)
明星店铺 文轩网旗舰店
【正版】自然数的紧化延伸机器证明系统/数学机械化丛书 可开发票,量大优惠可联系在线客服
¥221.56定价:¥288.00 (7.7折)
分析基础机器证明系统 郁文生 付尧顺 郭礼权 9787030706713科学出版社【正版图书】 正版图书 可开发票
¥236.79定价:¥236.79
分析基础机器证明系统/郁文生,付尧顺,郭礼权 618正品图书限时直降!6.13-6.20全场叠加满49-5,99-10,149-15!
¥156.40定价:¥198.00 (7.9折)
¥126.00定价:¥198.00 (6.37折)
分析基础机器证明系统 郁文生 科学出版社 【新华书店正版图书】
¥159.70定价:¥198.00 (8.07折)
分析基础机器证明系统 郁文生,付尧顺,郭礼权 科学出版社 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥153.90定价:¥198.00 (7.78折)
明星店铺 北方图书城旗舰店
分析基础机器证明系统 郁文生 付尧顺 郭礼权 9787030706713科学出版社
¥206.47定价:¥206.47
¥163.40定价:¥198.00 (8.26折)
分析基础机器证明系统 郁文生 科学出版社 【新华书店正版书籍】 正版全新书籍 正规发票 多仓就近发货 关注店铺可享店铺优惠
¥159.70定价:¥198.00 (8.07折)
分析基础机器证明系统【新华书店总店自营店】 正版图书 正规发票 多仓就近发货 85%城市次日送达!团购优惠咨询:13284178503
¥147.37定价:¥396.00 (3.73折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥106.39定价:¥128.00 (8.32折)
公理化集合论机器证明系统 郁文生;孙天宇;付尧顺 科学出版社 【速开发票,此书为单本而非一套,支持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折)
自然数的紧化延伸机器证明系统9787030775450郁文生窦国威科学出版社【速发 正版】 【本店支持开发票 如需帮助请联系客服】
¥329.12定价:¥329.12
自然数的紧化延伸机器证明系统郁文生9787030775450 科学出版社人天图书专营店 正版图书保证质量 七天无理由退货让您购物无忧
¥227.50定价:¥288.00 (7.9折)
自然数的紧化延伸机器证明系统郁文生科学出版社9787030775450 正版图书保证质量 七天无理由退货让您购物无忧
¥227.50定价:¥288.00 (7.9折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社 温馨提示: 正版保障 贴心售后 收藏商品 优先发货 部分书籍卖价高于定价 介者慎拍. 部分赠品赠完为止。
¥132.37定价:¥132.47
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学F 可开发票,现货速发
¥88.66定价:¥128.00 (6.93折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥122.51定价:¥128.00 (9.58折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社 本店支持开票 可联系在线客服索要
¥122.61定价:¥128.00 (9.58折)
自然数的紧化延伸机器证明系统郁文生科学出版社9787030775450正版书籍
¥238.81定价:¥288.00 (8.3折)
速发】自然数的紧化延伸机器证明系统 郁文生 窦国威 科学出版社 9787030775450
¥322.11定价:¥322.11
自然数的紧化延伸机器证明系统 郁文生,窦国威 著 科学出版社 【新华书店正版书籍】 正版全新书籍 正规发票 多仓就近发货 关注店铺可享店铺优惠!
¥224.60定价:¥288.00 (7.8折)
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.40定价:¥120.15 (9.86折)
自然数的紧化延伸机器证明系统 郁文生 科学出版社 【新华书店正版书籍】 正版全新书籍 正规发票 多仓就近发货 关注店铺可享店铺优惠
¥236.00定价:¥288.00 (8.2折)
自然数的紧化延伸机器证明系统 郁文生 科学出版社 【新华书店正版图书】
¥191.20定价:¥288.00 (6.64折)
自然数的紧化延伸机器证明系统 郁文生 科学出版社 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥193.20定价:¥288.00 (6.71折)
明星店铺 北方图书城旗舰店
【正版】 自然数的紧化延伸机器证明系统 郁文生,窦国威 科学出版社 9787030775450
¥237.60定价:¥288.00 (8.25折)
速发】自然数的紧化延伸机器证明系统 郁文生 窦国威 科学出版社 9787030775450
¥327.22定价:¥327.22
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.70定价:¥119.97 (9.9折)
现货速发】自然数的紧化延伸机器证明系统 郁文生 窦国威 科学出版社 9787030775450 正版图书 可开发票
¥310.45定价:¥310.45
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生,孙天宇,付尧顺 科学出版社 【新华书店正版图书】
¥100.50定价:¥128.00 (7.86折)
自然数的紧化延伸机器证明系统科学出版社 郁文生,窦国威 9787030775450
¥237.75定价:¥288.00 (8.26折)
正版书籍 分析基础机器证明系统 (精装) 郁文生,付尧顺,郭礼权 著 科学出版社 正版图书支持发票 七天无理由退货让您购物无忧
¥162.36
正版书籍 自然数的紧化延伸机器证明系统 郁文生,窦国威 科学出版社 正版图书支持发票 七天无理由退货让您购物无忧
¥239.04
自然数的紧化延伸机器证明系统科学出版社 郁文生,窦国威 9787030775450 可开发票
¥229.11定价:¥288.00 (7.96折)