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

O14 数理逻辑、数学基础

销售排行榜

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

  • 研究生数学建模精品案例
  • 研究生数学建模精品案例
    副书名:
    书号:9787030398444 作者:朱道元
    丛书名:
    出版日期:2014-03-01
    库存:可供 图书介质:纸质书
    定价:¥69.00元
    内容简介:本书精选了全国研究生数学建模竞赛的若干赛题,总结并发展了相应的优秀论文及命题人的综述。全书共分12章,内容包括从研究生数学建模角度看创造性及...
  • 数学建模(第二版)
  • 数学建模(第二版)
    副书名:
    书号:9787030383051 作者:陈东彦,刘凤秋,牛犇
    丛书名:普通高等教育“十二五”规划教材·大学数学全程解决方案系列
    出版日期:2014-01-01
    库存:可供 图书介质:纸质书
    定价:¥39.00元
    内容简介:本书是高等学校数学建模课程教材,共分8章:数学建模概述、初等模型、微分方程模型、概率与随机模型、统计分析模型、数学规划模型、图与网络模型、其...
  • 数学建模与数学实验
  • 数学建模与数学实验
    副书名:
    书号:9787030377326 作者:汪天飞,邹进,张军
    丛书名:
    出版日期:2013-06-01
    库存:可供 图书介质:纸质书
    定价:¥98.00元
    内容简介:本书涵盖了数学建模所涉及的常用方法和内容,如初等数学模型、数学规划模型、线性代数模型、微分方程模型、层次分析法、图论方法和多元回归分析等,并...
  • 数学建模
  • 数学建模
    副书名:
    书号:9787030301062 作者:母丽华,周永芳
    丛书名:普通高等教育“十二五”规划教材
    出版日期:2011-02-01
    库存:可供 图书介质:纸质书
    定价:¥39.80元
    内容简介:本书结合黑龙江科技学院人才培养和专业课程建设的总体要求,既注重学生基本能力的训练,同时又结合学生的专业实际,介绍体现专业特点的数学模型及供不...
  • 数学建模及其实验
  • 数学建模及其实验
    副书名:
    书号:9787030249753 作者:严喜祖,宋中民,毕春加
    丛书名:21世纪高等院校教材
    出版日期:2009-08-01
    库存:可供 图书介质:纸质书
    定价:¥39.00元
    内容简介:本书主要是根据“数学建模”课程的教学和“大学生数学建模竞赛”培训活动的实际需要,以及编者多年从事教学和培训工作的实践经验与体会编写而成的。考...
  • 数理逻辑引论与归结原理  (英文版)
  • 数理逻辑引论与归结原理 (英文版)
    副书名:
    书号:9787030228994 作者:王国俊,周红军
    丛书名:数学专著系列(英文版)
    出版日期:2017-03-13
    库存:6 图书介质:纸质书
    定价:¥128.00元
    内容简介:Introduction to Mathematical Logic Resolution Principle,Second Edition...
  • 相识数学逻辑
  • 相识数学逻辑
    副书名:
    书号:9787030287113 作者:黄忠裕,赵焕光
    丛书名:数学课程与教学论丛书
    出版日期:2016-02-23
    库存:可供 图书介质:纸质书
    定价:¥58.00元
    内容简介:  本书从人文的视野、逻辑的观点、数学的特色入手,用通俗的语言、生动的例子(包括小故事),介绍以中学数学知识为主要载体的数学中的逻辑基础知识...
  • 数学建模
  • 数学建模
    副书名:
    书号:9787030283559 作者:章绍辉
    丛书名:21世纪高等院校教材,数学基础教程系列
    出版日期:2010-08-01
    库存:可供 图书介质:纸质书
    定价:¥52.00元
    内容简介:本书是为高等师范院校的数学建模课程编写的教材,体现了高等师范院校的培养目标和办学特点。内容包括用MATLAB求解数学问题、数学建模概述、差分...
  • 模型论引论
  • 模型论引论
    副书名:
    书号:9787030182968 作者:(美)马克(Marker, D)著
    丛书名:国外数学名著系列(影印版)
    出版日期:2016-04-25
    库存:缺货 图书介质:纸质书
    定价:¥158.00元
    内容简介:  本书以现代观点介绍模型论,着重强调其在代数学中的应用。前半部分包括模型构造技巧的经典论述,如类型空间,素模型,饱和模型,可数模型,不可辨...
  • 数学与猜想 数学中的归纳和类比 第一卷
  • 数学与猜想 数学中的归纳和类比 第一卷
    副书名:
    书号:9787030091109 作者:李心灿,王日爽,李志尧
    丛书名:数学名著译丛
    出版日期:2001-07-01
    库存:可供 图书介质:纸质书
    定价:¥48.00元
    内容简介:本书是著名数学家G.波利亚撰写的一部经典名著,书中讨论的是自然科学、特别是数学领域中与严密的论证推理完全不同的一种推理方法一一合情推理(即猜...
  • 数学建模理论方法及应用
  • 数学建模理论方法及应用
    副书名:
    书号:9787030395696 作者:房少梅
    丛书名:普通高等教育“十二五”规划教材
    出版日期:2014-02-01
    库存:可供 图书介质:纸质书
    定价:¥69.00元
    内容简介:本书分9章,内容涉及数学建模简介、MATLAB基础知识、微分方程及差分方程方法、最优化方法、回归分析、预测与决策分析、图论方法、模糊数学方法...
  • 代数模型论引论
  • 代数模型论引论
    副书名:
    书号:9787030324085 作者:史念东
    丛书名:现代数学基础从书·典藏版
    出版日期:2011-10-01
    库存:可供 图书介质:纸质书
    定价:¥68.00元
    内容简介:本是代数模型论的一本入门书.第一章介绍代数模型论所需要的模型论的基础知识.第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要...
  • 面向计算机科学的数理逻辑 第二版
  • 面向计算机科学的数理逻辑 第二版
    副书名:
    书号:9787030096579 作者:陆钟万
    丛书名:中国科学院研究生教学丛书
    出版日期:2002-01-01
    库存:可供 图书介质:纸质书
    定价:¥39.00元
    内容简介:本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑...
  • 数学无穷与中介的逻辑基础
  • 数学无穷与中介的逻辑基础
    副书名:
    书号:9787030344229 作者:朱梧槚
    丛书名:
    出版日期:2013-09-13
    库存:8 图书介质:纸质书
    定价:¥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元
    内容简介:本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算...
  • 公理集合论导引
  • 公理集合论导引
    副书名:
    书号:9787030312761 作者:戴牧民,陈海燕,郑顶伟
    丛书名:
    出版日期:2017-02-23
    库存:缺货 图书介质:纸质书
    定价:¥38.00元
    内容简介:本书是公理集合论的入门书。先介绍了集合论形成和发展的历程,公理化问题的由来,公理化的意义。其次按ZFC公理系统逐步介绍各条公理,数系的构建,...
  • MATLAB与数学建模
  • MATLAB与数学建模
    副书名:
    书号:9787030414960 作者:李伯德,李振东
    丛书名:普通高等教育“十二五”规划教材
    出版日期:2014-08-01
    库存:可供 图书介质:纸质书
    定价:¥56.00元
    内容简介:本书从数学建模的角度介绍MATLAB的应用及常用的数学建模方法。书中内容根据数学建模竞赛的需要而编排,涵盖了大部分数学建模问题的MATLAB...
总计 21 个记录 1 [2]
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证