0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 中图分类 > O 数理科学和化学 > O1 数学 > O14 数理逻辑、数学基础

O14 数理逻辑、数学基础

销售排行榜

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

  • 相识数学逻辑
  • 相识数学逻辑
    副书名:
    书号:9787030287113 作者:黄忠裕,赵焕光
    丛书名:数学课程与教学论丛书
    出版日期:2016-02-23
    库存:可供 图书介质:纸质书
    定价:¥58.00元
    内容简介:  本书从人文的视野、逻辑的观点、数学的特色入手,用通俗的语言、生动的例子(包括小故事),介绍以中学数学知识为主要载体的数学中的逻辑基础知识...
  • 数学建模(第二版)
  • 数学建模(第二版)
    副书名:
    书号:9787030383051 作者:陈东彦,刘凤秋,牛犇
    丛书名:普通高等教育“十二五”规划教材·大学数学全程解决方案系列
    出版日期:2014-01-01
    库存:可供 图书介质:纸质书
    定价:¥39.00元
    内容简介:本书是高等学校数学建模课程教材,共分8章:数学建模概述、初等模型、微分方程模型、概率与随机模型、统计分析模型、数学规划模型、图与网络模型、其...
  • 数学建模
  • 数学建模
    副书名:
    书号:9787030283559 作者:章绍辉
    丛书名:21世纪高等院校教材,数学基础教程系列
    出版日期:2010-08-01
    库存:可供 图书介质:纸质书
    定价:¥52.00元
    内容简介:本书是为高等师范院校的数学建模课程编写的教材,体现了高等师范院校的培养目标和办学特点。内容包括用MATLAB求解数学问题、数学建模概述、差分...
  • 数学与猜想 数学中的归纳和类比 第一卷
  • 数学与猜想 数学中的归纳和类比 第一卷
    副书名:
    书号:9787030091109 作者:李心灿,王日爽,李志尧
    丛书名:数学名著译丛
    出版日期:2001-07-01
    库存:可供 图书介质:纸质书
    定价:¥48.00元
    内容简介:本书是著名数学家G.波利亚撰写的一部经典名著,书中讨论的是自然科学、特别是数学领域中与严密的论证推理完全不同的一种推理方法一一合情推理(即猜...
  • 研究生数学建模精品案例
  • 研究生数学建模精品案例
    副书名:
    书号:9787030398444 作者:朱道元
    丛书名:
    出版日期:2014-03-01
    库存:缺货 图书介质:纸质书
    定价:¥69.00元
    内容简介:本书精选了全国研究生数学建模竞赛的若干赛题,总结并发展了相应的优秀论文及命题人的综述。全书共分12章,内容包括从研究生数学建模角度看创造性及...
  • 数学建模理论方法及应用
  • 数学建模理论方法及应用
    副书名:
    书号:9787030395696 作者:房少梅
    丛书名:普通高等教育“十二五”规划教材
    出版日期:2014-02-01
    库存:可供 图书介质:纸质书
    定价:¥69.00元
    内容简介:本书分9章,内容涉及数学建模简介、MATLAB基础知识、微分方程及差分方程方法、最优化方法、回归分析、预测与决策分析、图论方法、模糊数学方法...
  • 数学建模与数学实验
  • 数学建模与数学实验
    副书名:
    书号:9787030377326 作者:汪天飞,邹进,张军
    丛书名:
    出版日期:2013-06-01
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:本书涵盖了数学建模所涉及的常用方法和内容,如初等数学模型、数学规划模型、线性代数模型、微分方程模型、层次分析法、图论方法和多元回归分析等,并...
  • 数学无穷与中介的逻辑基础
  • 数学无穷与中介的逻辑基础
    副书名:
    书号:9787030344229 作者:朱梧槚
    丛书名:
    出版日期:2013-09-13
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:  本书是一部研究型的原创著作,全书分6章和1个附录。第1、2两章讨论经典与非经典数学的基础问题,其核心主题是介绍中介数学。第3章严格定义了...
  • 模型论基础
  • 模型论基础
    副书名:
    书号:9787030059956 作者:王世强
    丛书名:现代数学基础丛书
    出版日期:2016-11-10
    库存:可供 图书介质:纸质书
    定价:¥118.00元
    内容简介: 本书介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型...
  • 数学建模与实验
  • 数学建模与实验
    副书名:
    书号:9787030211637 作者:陈恩水,王峰
    丛书名:21世纪高等院校教材
    出版日期:2008-06-01
    库存:可供 图书介质:纸质书
    定价:¥45.00元
    内容简介:本书为国家精品课程配套教材。书中通过大量的实际问题,分别介绍了数学建模的各种方法及模型实现的一些方法与技巧。内容包括数学建模的基本概念、初等...
  • 数学建模基础(第二版)
  • 数学建模基础(第二版)
    副书名:
    书号:9787030305589 作者:薛毅
    丛书名:北京工业大学研究生创新教育系列教材
    出版日期:2014-04-01
    库存:可供 图书介质:纸质书
    定价:¥198.00元
    内容简介:本书深入浅出地介绍了与数学建模基础有关的内容,重点放在微分方程模型、运筹学模型和数理统计模型方面,着重讲述建模的基本思想和模型求解的基本方法...
  • 数理逻辑:基本原理与形式演算(第二版)
  • 数理逻辑:基本原理与形式演算(第二版)
    副书名:
    书号:9787030401557 作者:李未
    丛书名:信息科学与技术基础丛书
    出版日期:2016-01-20
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算...
  • 塔斯基定理与真理论悖论
  • 塔斯基定理与真理论悖论
    副书名:
    书号:9787030401243 作者:熊明
    丛书名:
    出版日期:2014-05-01
    库存:可供 图书介质:纸质书
    定价:¥65.00元
    内容简介:关于说谎者及其相关真理论悖论的研究始于古希腊时代,之后相关理论层出不穷,但至今仍无定论,相关研究仍是当今逻辑研究的一大热点。本书梳理了塔斯基...
  • 数学建模及其实验
  • 数学建模及其实验
    副书名:
    书号:9787030249753 作者:严喜祖,宋中民,毕春加
    丛书名:21世纪高等院校教材
    出版日期:2009-08-01
    库存:可供 图书介质:纸质书
    定价:¥39.00元
    内容简介:本书主要是根据“数学建模”课程的教学和“大学生数学建模竞赛”培训活动的实际需要,以及编者多年从事教学和培训工作的实践经验与体会编写而成的。考...
  • 数学建模
  • 数学建模
    副书名:
    书号:9787030301062 作者:母丽华,周永芳
    丛书名:普通高等教育“十二五”规划教材
    出版日期:2011-02-01
    库存:可供 图书介质:纸质书
    定价:¥39.80元
    内容简介:本书结合黑龙江科技学院人才培养和专业课程建设的总体要求,既注重学生基本能力的训练,同时又结合学生的专业实际,介绍体现专业特点的数学模型及供不...
  • 数的家园
  • 数的家园
    副书名:
    书号:9787030212948 作者:赵焕光
    丛书名:通俗数学文化丛书
    出版日期:2008-05-01
    库存:8 图书介质:纸质书
    定价:¥98.00元
    内容简介:本书介绍数系(自然数→整数→有理数→实数→复数→四元数→超穷数)的基本理论及数系在现实生活中的应用,探讨数系与人文(包括中国传统文化)的联系...
  • 数理逻辑引论与归结原理  (英文版)
  • 数理逻辑引论与归结原理 (英文版)
    副书名:
    书号:9787030228994 作者:王国俊,周红军
    丛书名:数学专著系列(英文版)
    出版日期:2017-03-13
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:Introduction to Mathematical Logic Resolution Principle,Second Edition...
  • 面向计算机科学的数理逻辑 第二版
  • 面向计算机科学的数理逻辑 第二版
    副书名:
    书号:9787030096579 作者:陆钟万
    丛书名:中国科学院研究生教学丛书
    出版日期:2002-01-01
    库存:可供 图书介质:纸质书
    定价:¥39.00元
    内容简介:本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑...
  • MATLAB与数学建模
  • MATLAB与数学建模
    副书名:
    书号:9787030414960 作者:李伯德,李振东
    丛书名:普通高等教育“十二五”规划教材
    出版日期:2014-08-18
    库存:可供 图书介质:纸质书
    定价:¥56.00元
    内容简介:本书通过大量的实例,详细介绍了实践中经常用到的数学建模典型案例分析。本书按数学建模常用的方法共分为18章,包括数学建模概述、Matlab语言...
  • 非经典数理逻辑与近似推理(第二版)
  • 非经典数理逻辑与近似推理(第二版)
    副书名:
    书号:9787030212955 作者:王国俊
    丛书名:现代数学基础丛书·典藏版;108
    出版日期:2008-05-01
    库存:可供 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书在第一版的基础上修订再版,全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳...
总计 20 个记录
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证