公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥94.10定价：¥128.00 (7.36折)
明星店铺 四川新华书店教育专营店
公理化集合论机器证明系统(精)/数学机械化丛书 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥94.10定价：¥128.00 (7.36折)
明星店铺 文轩网旗舰店
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥102.50定价：¥128.00 (8.01折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 【新华全新正版书籍】
¥95.40定价：¥128.00 (7.46折)
公理化集合论机器证明系统(精)/数学机械化丛书 郁文生，孙天宇，付尧顺 科学出版社 【新华书店正版书籍】
¥100.50定价：¥128.00 (7.86折)
数学机械化丛书：公理化集合论机器证明系统公理化集合论机器证明系统【2本合售】【精装】 书籍非全新，8-99成新左右(实拍图以图片为准发货)
¥184.50定价：¥185.50 (9.95折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥106.39定价：¥128.00 (8.32折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社【镜像文化专营店】 支持发票 请联系在线客服
¥121.41定价：¥128.00 (9.49折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学F 可开发票，现货速发
¥88.66定价：¥128.00 (6.93折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社 温馨提示: 正版保障 贴心售后 收藏商品 优先发货 部分书籍卖价高于定价 介者慎拍. 部分赠品赠完为止。
¥132.37定价：¥132.47
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社
¥122.51定价：¥128.00 (9.58折)
公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社 本店支持开票 可联系在线客服索要
¥122.61定价：¥128.00 (9.58折)
【2024新书】代数学教程 卷 集合论 王鸿飞 哈工大出版社 集合及其运算关系映射基数理论序型理论策梅罗与弗伦克尔的公理
¥65.75定价：¥65.75
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.70定价：¥119.97 (9.9折)
正版书籍 公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
¥118.40定价：¥120.15 (9.86折)
【2024新书】代数学教程卷 集合论 王鸿飞 哈工大出版社 集合及其运算关系映射基数理论序型理论策梅罗与弗伦克尔的公理系 可开发票 联系在线客服索取
¥65.24定价：¥74.41 (8.77折)
数理逻辑与集合论石纯一等 第2版 清华大学出版社 离散数学 数理逻辑 命题和谓词逻辑 理演算 公理系统 模型论 证明论
¥34.00定价：¥35.00 (9.72折)
集合论基础教程 脉络清晰，深入浅出，通俗易懂； 介绍公理化集合论的基础内容，适合作为集合论入门教材； 即使仅具备高中数学知识，也可掌握本书的绝大部分内容
对公理化集合论的基础部分进行了系统介绍，为后续抽象的代数学、分析学、拓扑学夯实基础。 脉络清晰，前后连贯，叙述深入浅出，讲解通俗易懂，兼顾通俗性与严谨性。 专注培养逻辑思维能力和抽象思维能力，提高分析问题和解决问题的能力。 阅读门槛较低。不需要较多专门的数学知识，具备高中数学知识基础的读者即可掌握绝大部分内容，适合工科背景的读者自学。 使用方式灵活。根据所需掌握集合理论的知识程度，可以选择不同章节配置进行学习，同时适用于朴素集合论和公理集合论的学习。 配套教学课件和习题，便于课堂教学和课后巩固。
¥36.20定价：¥49.00 (7.39折)
【全套2册（进阶篇+拓展篇） 初中通用 】 初中几何看图思解进阶篇拓展篇数学几何模型专项思维训练培养几何思维用图形解读几
¥86.94定价：¥86.94
¥92.40定价：¥128.00 (7.22折)
【初中通用 全套2册（进阶篇+拓展篇） 】 初中几何看图思解进阶篇拓展篇数学几何模型专项思维训练培养几何思维用图形解读几
¥108.61定价：¥108.61
公理集论【正版书籍】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
¥141.00定价：¥353.00 (4折)
公理集论汪芳庭 编著中国科学技术大学出版社9787312005978 正版旧书，保证质量，此书为单本而非一套，电子发票！
¥311.50定价：¥785.30 (3.97折)
公理化集合论：本书系统深入地展开集论公理系统ZFC，【可开电子发票】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
¥372.00定价：¥754.00 (4.94折)
公理集合论导引 戴牧民 著 9787030312761 科学出版社【售后无忧】 【速开发票，优质售后，支持7天无理由退换】
《公理集合论导引》是公理集合论的入门书，旨在为一般拓扑学研究生提供合适的公理集论参考读物，《公理集合论导引》可作为大学数学专业高年级本科生、研究生的公理集合论课程的教材，也可作为高校相关专业教师的参考书。
¥120.40定价：¥241.80 (4.98折)
公理化集合论机器证明系统 郁文生；孙天宇；付尧顺 科学出版社 【速开发票，此书为单本而非一套，支持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折)
公理集合论导引 张锦文 9787030018496 科学出版社 【速开发票，优质售后，支持7天无理由退换】
与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果，以及作者本人的研究成果。 本书可供大专院校数学系学生、教师以
¥108.80定价：¥305.60 (3.57折)
公理集合论导引 张锦文 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果，以及作者本人的研究成果。 本书可供大专院校数学系学生、教师以
¥99.00定价：¥199.00 (4.98折)
公理集合论导引张锦文科学出版社9787030018496 正版旧书，保证质量，此书为单本而非一套，电子发票！
与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果，以及作者本人的研究成果。 本书可供大专院校数学系学生、教师以
¥148.80定价：¥412.40 (3.61折)
公理集合论导引 张锦文 科学出版社【正版书籍】 【速开发票，优质售后，支持7天无理由退换】
与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果，以及作者本人的研究成果。 本书可供大专院校数学系学生、教师以
¥106.00定价：¥215.00 (4.94折)
公理化集合论李娜 编南开大学出版社9787310059492 正版旧书，保证质量，此书为单本而非一套，电子发票！
康托尔的集合论是一种研究无穷的数学理论，它是现代数学和逻辑学的基础。遗憾的是，其中存在着矛盾，著名的矛盾是罗素悖论。为了消除悖论并保留康托尔集合论中的精华，数学家们做了大量的研究，其中有效的方法是公理化方法。因此，公理化集合论是用现代公理化的方法重建康托尔的朴素集合论的研究以及集合论的元数学和集合论的新公理的研究。这种方法把集合论变成了一种完全抽象的公理化理论。在这样的理论中，“集合”是一种不加定义的原始概念，集合的性质以及描述集合特点的理论由公理反映。在这些理论中，成熟的是ZF公理化集合论，加上选择公理（AC），通常记作ZFC。ZFC公理化集合论是整个20世纪集合论工作的主流。
¥140.00定价：¥383.00 (3.66折)
公理集合论导引【正版书籍】 【正品保证，进入店铺更多优惠！】
戴牧民编著的《公理集合论导引》是公理集合论的入门书，旨在为一般拓扑学研究生提供合适的公理集论参考读物，本书可作为数学专业高年级本科生、研究生的公理集合论课程的，也可作为高校相关专业教师的参考书。
¥96.43定价：¥370.86 (2.61折)
¥133.50定价：¥158.00 (8.45折)
¥103.70定价：¥128.00 (8.11折)
¥105.00定价：¥128.00 (8.21折)
¥105.60定价：¥128.00 (8.25折)
¥137.40定价：¥158.00 (8.7折)
¥134.90定价：¥158.00 (8.54折)
集合论基础教程 "脉络清晰，深入浅出，通俗易懂；介绍公理化集合论的基础内容，适合作为集合论入门教材；即使仅具备高中数学知识，也可掌握本书的绝大部分内容"
"?对公理化集合论的基础部分进行了系统介绍，为后续抽象的代数学、分析学、拓扑学夯实基础。 ?脉络清晰，前后连贯，叙述深入浅出，讲解通俗易懂，兼顾通俗性与严谨性。 ?专注培养逻辑思维能力和抽象思维能力，提高分析问题和解决问题的能力。 ?阅读门槛较低。不需要较多专门的数学知识，具备高中数学知识基础的读者即可掌握绝大部分内容，适合工科背景的读者自学。 ?使用方式灵活。根据所需掌握集合理论的知识程度，可以选择不同章节配置进行学习，同时适用于朴素集合论和公理集合论的学习。 ?配套教学课件和习题，便于课堂教学和课后巩固。 "
¥37.27定价：¥49.00 (7.61折)
公理集合引论 涂德辉 9787562137641 西南师范大学出版社【达额立减】 【速开发票，优质售后，支持7天无理由退换】
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
¥67.20定价：¥135.40 (4.97折)
¥102.00定价：¥284.00 (3.6折)
暂时没有内容
¥102.00定价：¥284.00 (3.6折)
暂时没有内容
¥71.43定价：¥320.86 (2.23折)
暂时没有内容
¥74.00定价：¥149.00 (4.97折)
¥92.00定价：¥264.00 (3.49折)
暂时没有内容
¥69.50定价：¥140.00 (4.97折)
暂时没有内容
¥72.00定价：¥145.00 (4.97折)
暂时没有内容
¥70.00定价：¥141.00 (4.97折)
暂时没有内容
¥102.00定价：¥284.00 (3.6折)
暂时没有内容
¥70.00定价：¥141.00 (4.97折)
公理集合引论【达额立减】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
¥54.00定价：¥118.00 (4.58折)
公理集合引论【正版书籍，满额满减，咨询更优惠】 正版旧书，保证质量，此书为单本而非一套，电子发票！
暂时没有内容
¥117.60定价：¥444.00 (2.65折)
暂时没有内容
¥83.10定价：¥167.20 (4.98折)
公理集合引论【可开电子发票】 【正品保证，进入店铺更多优惠！】
暂时没有内容
¥70.75定价：¥429.50 (1.65折)
公理集合引论 涂德辉 西南师范大学出版社【售后无忧】 【速开发票，优质售后，支持7天无理由退换】
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
¥62.07定价：¥212.14 (2.93折)
公理集合引论 涂德辉 西南师范大学出版社【正版书籍】 正版图书，下单前请先咨询客服，欢迎选购！
暂时没有内容
¥84.21定价：¥178.42 (4.72折)
暂时没有内容
¥84.60定价：¥170.20 (4.98折)
公理集合引论 【速开发票，此书为单本而非一套，支持7天无理由退换】
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
¥61.10定价：¥123.20 (4.96折)
公理集合引论 涂德辉 9787562137641 西南师范大学出版社【达额立减】 【速开发票，优质售后，支持7天无理由退换】
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
¥58.00定价：¥117.00 (4.96折)
公理集合引论涂德辉西南师范大学出版社（正版旧书）9787562137641 正版旧书，保证质量，此书为单本而非一套，电子发票！
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
¥65.20定价：¥216.90 (3.01折)
