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

数理逻辑/组合数学

销售排行榜

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

  • 逻辑与发现——物理学领域经典范例启示录
  • 逻辑与发现——物理学领域经典范例启示录
    副书名：
    书号：9787030739353 作者：冯琦
    丛书名：
    出版日期：2022-12-01
    库存：可供 图书介质：纸质书
    定价：￥158.00元
    内容简介：本书展示的是从公元前350 年左右到1930 年左右期间物理学领域的一系列先贤在物理学发现过程中智慧地使用逻辑这门工具的真实而经典的事迹。这...
  • 基本逻辑学：思维与表达正确性问题探究
  • 基本逻辑学：思维与表达正确性问题探究
    副书名：
    书号：9787030658968 作者：冯琦
    丛书名：
    出版日期：2020-08-01
    库存：可供 图书介质：纸质书
    定价：￥168.00元
    内容简介：本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形...
  • 面向自然语言信息处理的扩展三段论研究
  • 面向自然语言信息处理的扩展三段论研究
    副书名：
    书号：9787030627230 作者：张晓君
    丛书名：
    出版日期：2020-08-01
    库存：可供 图书介质：纸质书
    定价：￥148.00元
    内容简介：本书从自然语言信息处理的视角，主要介绍和阐释了关于扩展三段论的形式化研究成果，具体研究内容包括：三段论片段的完全性，居间广义三段论，模态三段...
  • 图论（原书第五版）
  • 图论（原书第五版）
    副书名：
    书号：9787030648075 作者：(加)于青林
    丛书名：
    出版日期：2020-04-01
    库存：可供 图书介质：纸质书
    定价：￥128.00元
    内容简介：本书是现代图论教学中被广泛采用的研究生教材，它在前4版的基础上进行了进一步扩充和更新。其叙述的方式非常有特色：先解释定理的意义、证明的思路，...
  • S-系理论的公开问题
  • S-系理论的公开问题
    副书名：
    书号：9787030632760 作者：乔虎生,刘仲奎
    丛书名：
    出版日期：2020-01-01
    库存：可供 图书介质：纸质书
    定价：￥98.00元
    内容简介：本书介绍了半群的S-系理论的若干公开问题.这些公开问题,从提出到全部解决或者部分解决的过程,经历的时间跨度大,从研究方法到理论创新,都有值得...
  • 公理化集合论机器证明系统
  • 公理化集合论机器证明系统
    副书名：
    书号：9787030640390 作者：郁文生,孙天宇,付尧顺
    丛书名：数学机械化丛书
    出版日期：2019-12-01
    库存：可供 图书介质：纸质书
    定价：￥128.00元
    内容简介：　　布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理...
  • 集合论导引（第二卷）集论模型
  • 集合论导引（第二卷）集论模型
    副书名：
    书号：9787030636225 作者：冯琦
    丛书名：现代数学基础丛书
    出版日期：2019-12-01
    库存：可供 图书介质：纸质书
    定价：￥168.00元
    内容简介：本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引...
  • 集合论导引（第一卷）基本理论
  • 集合论导引（第一卷）基本理论
    副书名：
    书号：9787030636218 作者：冯琦
    丛书名：现代数学基础丛书
    出版日期：2019-12-01
    库存：可供 图书介质：纸质书
    定价：￥138.00元
    内容简介：本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子...
  • 集合论导引（第三卷）高阶无穷
  • 集合论导引（第三卷）高阶无穷
    副书名：
    书号：9787030636232 作者：冯琦
    丛书名：现代数学基础丛书
    出版日期：2019-12-01
    库存：可供 图书介质：纸质书
    定价：￥198.00元
    内容简介：本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析。这种分析既包含组合分析，也包含逻辑分析；既包含内模型分析，也包含外模型分...
  • 传染病动力学建模与分析
  • 传染病动力学建模与分析
    副书名：
    书号：9787030617590 作者：徐瑞,田晓红,甘勤涛
    丛书名：生物数学丛书；23
    出版日期：2019-06-01
    库存：可供 图书介质：纸质书
    定价：￥128.00元
    内容简介：　　本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线...
  • 走向统一的自然力
  • 走向统一的自然力
    副书名：
    书号：9787030614469 作者：厉光烈
    丛书名：
    出版日期：2019-06-01
    库存：可供 图书介质：纸质书
    定价：￥98.00元
    内容简介：本书以四种自然力走向统一的探索历程为主线，全面、系统地介绍了经典力学、电磁理论、狭义和广义相对论、爱因斯坦统一场论、量子力学、量子电动力学、...
  • 基于框架理论的图像融合
  • 基于框架理论的图像融合
    副书名：
    书号：9787030615695 作者：杨小远,石岩,王敬凯
    丛书名：现代数学基础丛书;176
    出版日期：2019-06-01
    库存：可供 图书介质：纸质书
    定价：￥128.00元
    内容简介：波框架是小波分析的理论延伸,也是计算调和分析的重要组成部分.本书将从框架基础理论开始, 结合作者近十年在小波框架这一领域的研究工作, 介绍小...
  • 稳定性和单纯性理论
  • 稳定性和单纯性理论
    副书名：
    书号：9787030126757 作者：史念东
    丛书名：现代数学基础丛书·典藏版；74
    出版日期：2004-06-01
    库存：缺货 图书介质：纸质书
    定价：￥24.00元
    内容简介：本书从数理逻辑模型论的基本知识开始，循序渐进地给出近十几年来在稳定性和单纯性理论中涌现出来的新成果、新方法，阅读本书可了解模型论研究的新动态...
  • 数理逻辑基础（下册）
  • 数理逻辑基础（下册）
    副书名：
    书号：9787030464224 作者：胡世华,陆钟万
    丛书名：现代数学基础丛书·典藏版；2
    出版日期：2016-10-29
    库存：缺货 图书介质：纸质书
    定价：￥98.00元
    内容简介：　　本书陈述数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基...
  • 数理逻辑基础（上册）
  • 数理逻辑基础（上册）
    副书名：
    书号：9787030464217 作者：胡世华,陆钟万
    丛书名：现代数学基础丛书·典藏版；1
    出版日期：2016-10-29
    库存：可供 图书介质：纸质书
    定价：￥98.00元
    内容简介：　　本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基...
  • 数理逻辑导引
  • 数理逻辑导引
    副书名：
    书号：9787030545794 作者：冯琦
    丛书名：现代数学基础丛书 172
    出版日期：2017-10-09
    库存：可供 图书介质：纸质书
    定价：￥198.00元
    内容简介：　　本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究...
  • 合作的逻辑：一种演化模拟的视角
  • 合作的逻辑：一种演化模拟的视角
    副书名：
    书号：9787030542052 作者：黄璜
    丛书名：
    出版日期：2017-08-01
    库存：3 图书介质：纸质书
    定价：￥88.00元
    内容简介：2005年，《科学》杂志将“合作行为如何演化”列为21世纪最关键的25个科学问题之一。解释或理解合作演化的逻辑，无论从理论和实践的角度都具有...
  • 振荡微分方程的保结构算法II
  • 振荡微分方程的保结构算法II
    副书名：
    书号：9787030439185 作者：Xinyuan Wu;Kai Liu;Wei Shi
    丛书名：
    出版日期：2016-03-31
    库存：缺货 图书介质：纸质书
    定价：￥99.00元
    内容简介：This book describes a variety of highly effective and efficient struct...
  • 模型论引论
  • 模型论引论
    副书名：
    书号：9787030182968 作者：(美)马克(Marker, D)著
    丛书名：国外数学名著系列(影印版)
    出版日期：2016-04-25
    库存：缺货 图书介质：纸质书
    定价：￥158.00元
    内容简介：　　本书以现代观点介绍模型论，着重强调其在代数学中的应用。前半部分包括模型构造技巧的经典论述，如类型空间，素模型，饱和模型，可数模型，不可辨...
  • 实物与暗物的数理逻辑
  • 实物与暗物的数理逻辑
    副书名：——信息时代的物理世界
    书号：9787030164223 作者：宋文淼,阴和俊,张晓娟
    丛书名：信息时代的物理世界
    出版日期：2006-06-01
    库存：可供 图书介质：纸质书
    定价：￥49.00元
    内容简介：量子力学与相对论极大地改变了人类的思维和对自然的认识，极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗？未来的物理学向哪个方向发...
总计 27 个记录 1 [2]
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com