数理逻辑/组合数学_数学_图书分类_科学商城——科学出版社官网

您好，欢迎来到科学出版社！，新用户？ [免费注册]

热门关键词： 颠覆性技术创新研究现代数学基础丛书

0去购物车结算: 购物车中还没有商品，赶紧选购吧！

全部商品分类

网上书店按需印刷电子书

当前位置: 图书分类 > 数学 > 数理逻辑/组合数学

数理逻辑/组合数学

销售排行榜

商品列表
显示方式：

集合论导引（第一卷）基本理论
副书名：

书号：9787030636218	作者：冯琦
丛书名：现代数学基础丛书
出版日期：2019-12-01
库存：可供	图书介质：纸质书
定价：￥138.00元
内容简介：本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子...

集合论导引（第二卷）集论模型
副书名：

书号：9787030636225	作者：冯琦
丛书名：现代数学基础丛书
出版日期：2019-12-01
库存：可供	图书介质：纸质书
定价：￥168.00元
内容简介：本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引...

公理化集合论机器证明系统
副书名：

书号：9787030640390	作者：郁文生,孙天宇,付尧顺
丛书名：数学机械化丛书
出版日期：2019-12-01
库存：可供	图书介质：纸质书
定价：￥128.00元
内容简介：　　布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理...

S-系理论的公开问题
副书名：

书号：9787030632760	作者：乔虎生,刘仲奎
丛书名：
出版日期：2020-01-01
库存：可供	图书介质：纸质书
定价：￥98.00元
内容简介：本书介绍了半群的S-系理论的若干公开问题.这些公开问题,从提出到全部解决或者部分解决的过程,经历的时间跨度大,从研究方法到理论创新,都有值得...

图论（原书第五版）
副书名：

书号：9787030648075	作者：(加)于青林
丛书名：
出版日期：2020-04-01
库存：可供	图书介质：纸质书
定价：￥128.00元
内容简介：本书是现代图论教学中被广泛采用的研究生教材，它在前4版的基础上进行了进一步扩充和更新。其叙述的方式非常有特色：先解释定理的意义、证明的思路，...

面向自然语言信息处理的扩展三段论研究
副书名：

书号：9787030627230	作者：张晓君
丛书名：
出版日期：2020-08-01
库存：可供	图书介质：纸质书
定价：￥148.00元
内容简介：本书从自然语言信息处理的视角，主要介绍和阐释了关于扩展三段论的形式化研究成果，具体研究内容包括：三段论片段的完全性，居间广义三段论，模态三段...

逻辑与发现——物理学领域经典范例启示录
副书名：

书号：9787030739353	作者：冯琦
丛书名：
出版日期：2022-12-01
库存：可供	图书介质：纸质书
定价：￥158.00元
内容简介：本书展示的是从公元前350 年左右到1930 年左右期间物理学领域的一系列先贤在物理学发现过程中智慧地使用逻辑这门工具的真实而经典的事迹。这...

帮助中心: 公司简介

联系我们

常见问题

新手上路: 发票制度

积分说明

购物指南

配送方式: 配送时间及费用

配送查询说明

配送范围

快递查询

售后服务: 退换货说明

退换货流程

投诉或建议

版权声明

经营资质: 营业执照

出版社经营许可证