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

数理逻辑/组合数学

销售排行榜

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

  • 多值逻辑博弈语义
  • 多值逻辑博弈语义
    副书名:
    书号:9787030535092 作者:陈招万
    丛书名:社会博弈逻辑研究丛书
    出版日期:2018-06-01
    库存:缺货 图书介质:纸质书
    定价:¥78.00元
    内容简介:多值逻辑在人们的现实生活中获得广泛的应用,但一直未能寻找到一个让人们满意的、符合人们直觉的语义解释。特征函数语义、代数语义、可能世界语义从多...
  • 稳定性和单纯性理论
  • 稳定性和单纯性理论
    副书名:
    书号:9787030126757 作者:史念东
    丛书名:现代数学基础丛书·典藏版;74
    出版日期:2004-06-01
    库存:可供 图书介质:纸质书
    定价:¥48.00元
    内容简介:本书从数理逻辑模型论的基本知识开始,循序渐进地给出近十几年来在稳定性和单纯性理论中涌现出来的新成果、新方法,阅读本书可了解模型论研究的新动态...
  • 数理逻辑基础(下册)
  • 数理逻辑基础(下册)
    副书名:
    书号:9787030464224 作者:胡世华,陆钟万
    丛书名:现代数学基础丛书·典藏版;2
    出版日期:2016-10-29
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书陈述数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基...
  • 数理逻辑基础(上册)
  • 数理逻辑基础(上册)
    副书名:
    书号:9787030464217 作者:胡世华,陆钟万
    丛书名:现代数学基础丛书·典藏版;1
    出版日期:2016-10-29
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基...
  • 对偶三角模-三角余模逻辑及推理
  • 对偶三角模-三角余模逻辑及推理
    副书名:
    书号:9787030432803 作者:
    丛书名:
    出版日期:2016-02-01
    库存:缺货 图书介质:纸质书
    定价:¥88.00元
    内容简介:非经典逻辑及推理的种类和成果颇多, 限于篇幅,本书总结作者2005 年以来关于概率论、Lawry 的适当测度理论、刘宝碇的不确定理论、模糊集...
  • 系统学二象论:理论与方法
  • 系统学二象论:理论与方法
    副书名:
    书号:9787030397171 作者:高隆昌,徐飞,陈绍坤
    丛书名:
    出版日期:2015-11-18
    库存:缺货 图书介质:纸质书
    定价:¥69.00元
    内容简介:本著在给出"大自然方法论"等理论准备之下,首次揭示出系统的"二象"概念,指出系统是由满足空间实质差异、同生同灭、对偶互动等六大性质的"虚实二...
  • 基于三角模的模糊逻辑理论及其应用
  • 基于三角模的模糊逻辑理论及其应用
    副书名:
    书号:9787030388759 作者:裴道武
    丛书名:
    出版日期:2016-01-18
    库存:缺货 图书介质:纸质书
    定价:¥98.00元
    内容简介:  模糊逻辑与模糊推理是当代计算智能计算的理论基础之一,而基于三角模的模糊逻辑理论及其应用则是其中重要的研究方向,近年来得到快速发展,相继提...
  • 基于粗糙集与概念格的知识系统模型
  • 基于粗糙集与概念格的知识系统模型
    副书名:
    书号:9787030365385 作者:李进金,李克典,吴端恭
    丛书名:
    出版日期:2015-12-04
    库存:缺货 图书介质:纸质书
    定价:¥48.00元
    内容简介:  本书依据粗糙集与概念格理论的基本内容和方法,系统地介绍了各种知识系统模型。书中融入国内外学者研究的许多新成果,主要内容有:粗糙集与知识系...
  • 大数因子分解的合数模式特性
  • 大数因子分解的合数模式特性
    副书名:
    书号:9787030374530 作者:刘尊全
    丛书名:
    出版日期:2015-07-31
    库存:缺货 图书介质:纸质书
    定价:¥88.00元
    内容简介:  大数因子分解是国际数学界几百年来尚未解决的难题,也是现代密码学中公开密钥RSA算法密码体制建立的基础。本书从RSA算法存在的不动点中发现...
  • 模型论引论
  • 模型论引论
    副书名:
    书号:9787030182968 作者:(美)马克(Marker, D)著
    丛书名:国外数学名著系列(影印版)
    出版日期:2016-04-25
    库存:可供 图书介质:纸质书
    定价:¥158.00元
    内容简介:  本书以现代观点介绍模型论,着重强调其在代数学中的应用。前半部分包括模型构造技巧的经典论述,如类型空间,素模型,饱和模型,可数模型,不可辨...
  • 大数因子分解的合数模式特性
  • 大数因子分解的合数模式特性
    副书名:
    书号:9787030374530 作者:刘尊全
    丛书名:
    出版日期:2015-07-31
    库存:缺货 图书介质:纸质书
    定价:¥88.00元
    内容简介:...
  • 实物与暗物的数理逻辑
  • 实物与暗物的数理逻辑
    副书名:——信息时代的物理世界
    书号:9787030164223 作者:宋文淼,阴和俊,张晓娟
    丛书名:信息时代的物理世界
    出版日期:2006-06-01
    库存:可供 图书介质:纸质书
    定价:¥49.00元
    内容简介:量子力学与相对论极大地改变了人类的思维和对自然的认识,极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗?未来的物理学向哪个方向发...
  • 代数模型论引论
  • 代数模型论引论
    副书名:
    书号:9787030324085 作者:史念东
    丛书名:现代数学基础丛书140
    出版日期:2016-05-16
    库存:可供 图书介质:纸质书
    定价:¥68.00元
    内容简介:本书是代数模型论的一本入门书。第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主...
  • 数理逻辑引论与归结原理(第二版)
  • 数理逻辑引论与归结原理(第二版)
    副书名:
    书号:9787030165831 作者:王国俊
    丛书名:现代数学基础丛书
    出版日期:2016-08-19
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介: 本书在第一版的基础上进行修订再版,全书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论...
  • 数学基础 递归论
  • 数学基础 递归论
    副书名:
    书号:7030000501 作者:莫绍揆
    丛书名:现代数学基础丛书
    出版日期:2017-02-27
    库存:可供 图书介质:纸质书
    定价:¥138.00元
    内容简介: 本书是一本入门书,对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍.前四章是初等部分,详细讨论了递归函数类及其各...
  • 数学无穷与中介的逻辑基础
  • 数学无穷与中介的逻辑基础
    副书名:
    书号:9787030344229 作者:朱梧槚
    丛书名:
    出版日期:2013-09-13
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书是一部研究型的原创著作,全书分6章和1个附录。第1、2两章讨论经典与非经典数学的基础问题,其核心主题是介绍中介数学。第3章严格定义了...
  • 模型论基础
  • 模型论基础
    副书名:
    书号:9787030059956 作者:王世强
    丛书名:现代数学基础丛书
    出版日期:2016-11-10
    库存:可供 图书介质:纸质书
    定价:¥118.00元
    内容简介: 本书介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型...
  • 数理逻辑:基本原理与形式演算(第二版)
  • 数理逻辑:基本原理与形式演算(第二版)
    副书名:
    书号:9787030401557 作者:李未
    丛书名:信息科学与技术基础丛书
    出版日期:2016-01-20
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算...
  • 偏序集与数据包络分析
  • 偏序集与数据包络分析
    副书名:
    书号:9787030388773 作者:马占新
    丛书名:
    出版日期:2015-12-02
    库存:缺货 图书介质:纸质书
    定价:¥78.00元
    内容简介:  本书旨在研究偏序集的基本理论,探索偏序集与数据包络分析(DEA)之间的关系,并为进一步应用偏序集理论研究DEA方法提供理论基础。本书共分...
总计 24 个记录 1 [2]
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
经营资质
营业执照
出版社经营许可证