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

数理逻辑/组合数学

销售排行榜

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

  • 代数模型论引论
  • 代数模型论引论
    副书名:
    书号:9787030324085 作者:史念东
    丛书名:现代数学基础从书·典藏版
    出版日期:2011-10-01
    库存:可供 图书介质:纸质书
    定价:¥68.00元
    内容简介:本是代数模型论的一本入门书.第一章介绍代数模型论所需要的模型论的基础知识.第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要...
  • 数学无穷与中介的逻辑基础
  • 数学无穷与中介的逻辑基础
    副书名:
    书号:9787030344229 作者:朱梧槚
    丛书名:
    出版日期:2013-09-13
    库存:8 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书是一部研究型的原创著作,全书分6章和1个附录。第1、2两章讨论经典与非经典数学的基础问题,其核心主题是介绍中介数学。第3章严格定义了...
  • 模型论基础
  • 模型论基础
    副书名:
    书号:9787030059956 作者:王世强
    丛书名:现代数学基础丛书
    出版日期:2016-11-10
    库存:缺货 图书介质:纸质书
    定价:¥118.00元
    内容简介: 本书介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型...
  • 数理逻辑:基本原理与形式演算(第二版)
  • 数理逻辑:基本原理与形式演算(第二版)
    副书名:
    书号:9787030401557 作者:李未
    丛书名:信息科学与技术基础丛书
    出版日期:2016-01-20
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算...
  • 公理集合论导引
  • 公理集合论导引
    副书名:
    书号:9787030312761 作者:戴牧民,陈海燕,郑顶伟
    丛书名:
    出版日期:2017-02-23
    库存:缺货 图书介质:纸质书
    定价:¥38.00元
    内容简介:本书是公理集合论的入门书。先介绍了集合论形成和发展的历程,公理化问题的由来,公理化的意义。其次按ZFC公理系统逐步介绍各条公理,数系的构建,...
  • 组合论(下册)
  • 组合论(下册)
    副书名:
    书号:9787030292919 作者:魏万迪
    丛书名:中国科学技术经典文库•数学卷
    出版日期:2016-11-10
    库存:缺货 图书介质:纸质书
    定价:¥198.00元
    内容简介:  本书是《组合论》一书的下册。上册侧重于组合论课题中的计数方面,下册论述组合论的重要分支,即组合设计的理论和方法。本书以一般理论的叙述为主...
  • 数理逻辑引论与归结原理  (英文版)
  • 数理逻辑引论与归结原理 (英文版)
    副书名:
    书号:9787030228994 作者:王国俊,周红军
    丛书名:数学专著系列(英文版)
    出版日期:2017-03-13
    库存:6 图书介质:纸质书
    定价:¥128.00元
    内容简介:Introduction to Mathematical Logic Resolution Principle,Second Edition...
总计 27 个记录 [1] 2
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证