0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 数理逻辑/组合数学

数理逻辑/组合数学

商品列表
显示方式:    按上架时间排序 按更新时间排序 按销量排行

  • 图论(原书第五版)
  • 图论(原书第五版)
    副书名:
    书号:9787030648075 作者:(加)于青林
    丛书名:
    出版日期:2020-04-01
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书是现代图论教学中被广泛采用的研究生教材,它在前4版的基础上进行了进一步扩充和更新。其叙述的方式非常有特色:先解释定理的意义、证明的思路,...
  • 走向统一的自然力
  • 走向统一的自然力
    副书名:
    书号:9787030614469 作者:厉光烈
    丛书名:
    出版日期:2019-06-01
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:本书以四种自然力走向统一的探索历程为主线,全面、系统地介绍了经典力学、电磁理论、狭义和广义相对论、爱因斯坦统一场论、量子力学、量子电动力学、...
  • 基本逻辑学:思维与表达正确性问题探究
  • 基本逻辑学:思维与表达正确性问题探究
    副书名:
    书号:9787030658968 作者:冯琦
    丛书名:
    出版日期:2020-08-01
    库存:可供 图书介质:纸质书
    定价:¥168.00元
    内容简介:本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形...
  • 公理化集合论机器证明系统
  • 公理化集合论机器证明系统
    副书名:
    书号:9787030640390 作者:郁文生,孙天宇,付尧顺
    丛书名:数学机械化丛书
    出版日期:2019-12-01
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:  布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理...
  • 数理逻辑导引
  • 数理逻辑导引
    副书名:
    书号:9787030545794 作者:冯琦
    丛书名:现代数学基础丛书 172
    出版日期:2017-10-09
    库存:可供 图书介质:纸质书
    定价:¥198.00元
    内容简介:  本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究...
  • 模型论基础
  • 模型论基础
    副书名:
    书号:9787030059956 作者:王世强
    丛书名:现代数学基础丛书
    出版日期:2016-11-10
    库存:可供 图书介质:纸质书
    定价:¥118.00元
    内容简介: 本书介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型...
  • 数学无穷与中介的逻辑基础
  • 数学无穷与中介的逻辑基础
    副书名:
    书号:9787030344229 作者:朱梧槚
    丛书名:
    出版日期:2013-09-13
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书是一部研究型的原创著作,全书分6章和1个附录。第1、2两章讨论经典与非经典数学的基础问题,其核心主题是介绍中介数学。第3章严格定义了...
  • 数理逻辑:基本原理与形式演算(第二版)
  • 数理逻辑:基本原理与形式演算(第二版)
    副书名:
    书号:9787030401557 作者:李未
    丛书名:信息科学与技术基础丛书
    出版日期:2016-01-20
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算...
  • 数理逻辑基础(上册)
  • 数理逻辑基础(上册)
    副书名:
    书号:9787030464217 作者:胡世华,陆钟万
    丛书名:现代数学基础丛书·典藏版;1
    出版日期:2016-10-29
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基...
  • 数理逻辑基础(下册)
  • 数理逻辑基础(下册)
    副书名:
    书号:9787030464224 作者:胡世华,陆钟万
    丛书名:现代数学基础丛书·典藏版;2
    出版日期:2016-10-29
    库存:缺货 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书陈述数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基...
  • 集合论导引(第一卷)基本理论
  • 集合论导引(第一卷)基本理论
    副书名:
    书号:9787030636218 作者:冯琦
    丛书名:现代数学基础丛书
    出版日期:2019-12-01
    库存:可供 图书介质:纸质书
    定价:¥138.00元
    内容简介:本卷是这本《集合论导引》的开卷,分为三章,是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法,并给出典型的可数集合的例子...
  • 集合论导引(第二卷)集论模型
  • 集合论导引(第二卷)集论模型
    副书名:
    书号:9787030636225 作者:冯琦
    丛书名:现代数学基础丛书
    出版日期:2019-12-01
    库存:可供 图书介质:纸质书
    定价:¥168.00元
    内容简介:本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引...
  • 模糊复集值积分理论及其应用
  • 模糊复集值积分理论及其应用
    副书名:
    书号:9787030647122 作者:马生全,马晶
    丛书名:
    出版日期:2020-05-01
    库存:缺货 图书介质:纸质书
    定价:¥68.00元
    内容简介:本书介绍模糊复集值积分理论与应用的主要成果.全书共六章:绪论简要介绍模糊复分析发展概况,第1章主要介绍本书所涉及的预备知识;第2章介绍模糊复...
  • 基于模糊逻辑代数的判断矩阵及其群体决策方法
  • 基于模糊逻辑代数的判断矩阵及其群体决策方法
    副书名:
    书号:9787030647139 作者:徐泽水,马振明
    丛书名:模糊数学与系统及其应用丛书
    出版日期:2020-04-01
    库存:可供 图书介质:纸质书
    定价:¥58.00元
    内容简介:判断矩阵已成为描述决策者对方案或属性偏好信息的一个使用非常普遍和强有力的工具, 在工程设计、经济、管理和军事等诸多领域有着广阔的实际应用前景...
  • 组合论(下册)
  • 组合论(下册)
    副书名:
    书号:9787030292919 作者:魏万迪
    丛书名:中国科学技术经典文库•数学卷
    出版日期:2016-11-10
    库存:可供 图书介质:纸质书
    定价:¥198.00元
    内容简介:  本书是《组合论》一书的下册。上册侧重于组合论课题中的计数方面,下册论述组合论的重要分支,即组合设计的理论和方法。本书以一般理论的叙述为主...
  • 非经典数理逻辑与近似推理(第二版)
  • 非经典数理逻辑与近似推理(第二版)
    副书名:
    书号:9787030212955 作者:王国俊
    丛书名:现代数学基础丛书·典藏版;108
    出版日期:2008-05-01
    库存:4 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书在第一版的基础上修订再版,全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳...
  • 数理逻辑引论与归结原理  (英文版)
  • 数理逻辑引论与归结原理 (英文版)
    副书名:
    书号:9787030228994 作者:王国俊,周红军
    丛书名:数学专著系列(英文版)
    出版日期:2017-03-13
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:Introduction to Mathematical Logic Resolution Principle,Second Edition...
  • 实物与暗物的数理逻辑
  • 实物与暗物的数理逻辑
    副书名:——信息时代的物理世界
    书号:9787030164223 作者:宋文淼,阴和俊,张晓娟
    丛书名:信息时代的物理世界
    出版日期:2006-06-01
    库存:可供 图书介质:纸质书
    定价:¥49.00元
    内容简介:量子力学与相对论极大地改变了人类的思维和对自然的认识,极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗?未来的物理学向哪个方向发...
  • 合作的逻辑:一种演化模拟的视角
  • 合作的逻辑:一种演化模拟的视角
    副书名:
    书号:9787030542052 作者:黄璜
    丛书名:
    出版日期:2017-08-01
    库存:可供 图书介质:纸质书
    定价:¥88.00元
    内容简介:2005年,《科学》杂志将“合作行为如何演化”列为21世纪最关键的25个科学问题之一。解释或理解合作演化的逻辑,无论从理论和实践的角度都具有...
  • 稳定性和单纯性理论
  • 稳定性和单纯性理论
    副书名:
    书号:9787030126757 作者:史念东
    丛书名:现代数学基础丛书·典藏版;74
    出版日期:2004-06-01
    库存:可供 图书介质:纸质书
    定价:¥48.00元
    内容简介:本书从数理逻辑模型论的基本知识开始,循序渐进地给出近十几年来在稳定性和单纯性理论中涌现出来的新成果、新方法,阅读本书可了解模型论研究的新动态...
总计 25 个记录 1 [2]
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证