关于我们
精品教材          更多
规划教材          更多
点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • 研究生数学建模精品案例(第二卷)
    • 研究生数学建模精品案例(第二卷)
    • 朱道元/2020-6-1/科学出版社
    • 本书精选了2013~2017年中国研究生数学建模竞赛的七个赛题.全书共分8章,内容包括对中国研究生数学建模竞赛的思考、水面舰艇编队防空和信息化战争评估模型、微蜂窝环境中无线接收信号的特性分析、乘用车物流运输计划问题、机动目标的跟踪与反跟踪、面向节能的单/多列车优化决策问题、多无人机协同任务规划、多波次导弹发射中的规划问题.每个案例自成体系,可以独立阅读.

    •   
      定价:¥108  ISBN:9787030650962
  • 数学建模
    • 数学建模
    • 祁永强/2020-5-1/科学出版社
    • 全书分为入门篇和进阶篇。入门篇为比较经典的数学建模内容,主要面向数学建模的初学者;进阶篇为现代数学建模方法和MATLAB软件简介及应用,主要面向希望进一步提高数学建模能力并用于解决实际问题的读者,这些方法在数学建模竞赛中会经常用到。全书案例丰富,每章后附有习题,其中不部分习题需要上机实践。

    •   
      定价:¥89  ISBN:9787030637000
  • 集合论导引(第一卷)
    • 集合论导引(第一卷)
    • 冯琦著/2020-1-1/科学出版社
    • 《集合论导引》共三卷,本书是第一卷,本卷是这本《导引》的开卷。本卷将分成三章来为后续两卷奠定基础。第一章主要是引进集合论的基本公理、基本概念、基本方法以及建立起典型的可数集合的例子,包括自然数集合、整数集合、有理数集合以及彻底有限集合的集合。第二章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第三章专门引进实数集合并展开对它的系统分析。这一卷将建立一系列基本概念为全书作为铺垫。这一卷的内容既可以作为大学高年级本科生或者研究生数学教育的基本教程,也可以作为大学数学教师教学中的参

    •   
      定价:¥138  ISBN:9787030636218
  • 集合论导引(第二卷)
    • 集合论导引(第二卷)
    • 冯琦著/2020-1-1/科学出版社
    • 本卷是集合论的模型分析部分. 在第一卷的基础上, 本卷的主要任务是将逻辑植入集合论之中, 并以此为基础实现三大目标: 第一大目标是将同质子模型分析引入集合论, 这是一种不同于组合分析的对无穷集合展开分析的基本方法; 第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域, 从而证明一般连续统假设和选择公理的相对相容性; 第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型, 从而证明连续统假设以及选择公理的相对独立性.

    •   
      定价:¥168  ISBN:9787030636225
  • 集合论导引(第三卷)
    • 集合论导引(第三卷)
    • 冯琦/2020-1-1/科学出版社
    • 本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析. 这种分析既包含组合分析, 也包含逻辑分析; 既包含内模型分析,也包含外模型分析;归根结底是揭示各种高阶无穷公理对整个集合论论域的影响,尤其是对实数集合的影响. 因此, 第三卷的第1 章侧重于大基数的组合分析、逻辑分析以及内模型构造; 第2 章侧重于在大基数上构造各种各样的具有典范意义的力迫扩张, 从而解决包括奇异基数假设在内的一些长期遗留问题的独立性问题; 第3 章侧重于分析高阶无穷对实数子集合正则性的影响.

    •   
      定价:¥198  ISBN:9787030636232
  • MATLAB程序设计及数学实验与建模
    • MATLAB程序设计及数学实验与建模
    • 史加荣 著/2019-11-1/西安电子科技大学出版社
    • 本书注重算法设计,强化数学思维,将MATLAB程序设计与数学实验、数学建模相互融合,通过大量例题、习题、实验和建模案例来锻炼和提升程序设计能力。


      全书共22章,分基础篇和应用篇两个部分。基础篇(1章~第10章)介绍了MATLAB基础,包括向量与矩阵、逻辑与关系运算、程序设计基础、散点图与曲线绘制、网格曲线与曲面绘制、符号积分与数值积分、穷举法程序设计、字符串输出的程序设计、图像/视频的读写与处理、文件的读写与数据处理等;应用篇(第11章~第22章)介绍了MATLA

    •   
      定价:¥39  ISBN:9787560654669
  • 数理逻辑
    • 数理逻辑
    • 孙希文编著/2019-11-1/高等教育出版社
    • 本书包含一阶数理逻辑的基本核心内容, 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、 模型论、 递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。 也可供相关科技工作者参考。

    •   
      定价:¥59  ISBN:9787040513523
  • 数学建模(第2版)
  • MATLAB与数学建模
    • MATLAB与数学建模
    • 谢中华 著/2019-10-1/北京航空航天大学出版社
    • 本书主要介绍常用数学建模方法及其MATLAB实现与应用,内容包括MATLAB数组运算、MATLAB程序设计、MATLAB绘图与可视化、MATLAB数据管理、MATLAB符号计算、MATLAB数值计算、多项式与插值拟合、常用统计及优化建模方法与MATLAB求解、人工神经网络方法、排队论方法、以层次分析法和模糊综合评价法为代表的多指标综合评价方法、MATLAB图像处理基础、Simulink建模与仿真、全国大学生数学建模竞赛真题解析等。


      本书可作为高等院校学生的数学建模

    •   
      定价:¥79  ISBN:9787512430525
  • 高职高专MATLAB数学建模
    • 高职高专MATLAB数学建模
    • 卓金武,王鸿钧 著/2019-8-1/北京航空航天大学出版社
    • 本书从数学建模的角度介绍了MATLAB 的应用,涵盖了绝大部分数学建模问题的MATLAB 求解方法。


      全书共5篇。第一篇是基础篇,主要介绍一些基本概念和知识,包括MATLAB在数学建模中的地位、数学模型的分类及各类需要用到的MATLAB技术,以及MATLAB编程入门;第二篇是技术篇,系统介绍了MATLAB建模的主流技术,包括数据建模技术(数据的准备、常用的数学建模方法、机器学习、灰色预测、神经网络以及小波分析)、优化技术(标准规划模型的求解,遗传算法、模拟退火算法

    •   
      定价:¥42  ISBN:9787512430532