主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用(包括不完全性定理及技术发展过程中衍生的语言分析技术)
本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识,主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容,重点介绍哥德尔的完全性定理;第七章是递归论的基本知识,也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德
《数学建模入门教程》主要包括数学建模与数学建模竞赛、MATLAB软件简介、微分方程数值解、线性规划与非线性规划、LINGO软件及离散问题求解、多元统计方法、图像处理与模式识别、案例分析等内容。《数学建模入门教程》集数学建模入门基础知识、数学实验及程序编写为一体,注重入门基础知识介绍、数学软件及程序编写,由浅入深、循序渐
编者根据高等院校数学建模课程的教学基本要求结合自身丰富的理论教学和竞赛指导经验编写《数学建模与数据处理》。《数学建模与数据处理》共6章,分别是绪论、方程模型、规划模型、图与网络模型、统计模型和论文写作及真题解析。另外,部分章节附有相应的程序。《数学建模与数据处理》实用性强、通俗易懂,且能够启发和培养学生的自学能力。
本书精选了2013~2017年中国研究生数学建模竞赛的七个赛题.全书共分8章,内容包括对中国研究生数学建模竞赛的思考、水面舰艇编队防空和信息化战争评估模型、微蜂窝环境中无线接收信号的特性分析、乘用车物流运输计划问题、机动目标的跟踪与反跟踪、面向节能的单/多列车优化决策问题、多无人机协同任务规划、多波次导弹发射中的规划问
本书共有七章,包括:数学建模概述、初等建模方法与初等模型、微分方程模型、运筹学模型、随机性模型、统计建模方法和中学数学建模。第二章和第七章用初等数学方法建模,第三章至第六章用高等数学方法建模。书中案例丰富,分析过程和解题步骤细致。全书纸质内容与数字课程一体化设计,紧密结合。数字课程包含基础知识、数学家小传、拓展阅读、数
全书分为入门篇和进阶篇。入门篇为比较经典的数学建模内容,主要面向数学建模的初学者;进阶篇为现代数学建模方法和MATLAB软件简介及应用,主要面向希望进一步提高数学建模能力并用于解决实际问题的读者,这些方法在数学建模竞赛中会经常用到。全书案例丰富,每章后附有习题,其中不部分习题需要上机实践。
本书以Python软件为基础,介绍了数学建模的各种常用算法及其软件实现,内容涉及高等数学、工程数学中的相关数学实验、数学规划、插值与拟合、微分方程、差分方程、评价预测、图论模型等。
本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析.这种分析既包含组合分析,也包含逻辑分析;既包含内模型分析,也包含外模型分析;归根结底是揭示各种高阶无穷公理对整个集合论论域的影响,尤其是对实数集合的影响.因此,第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内模型构造;第2章侧重于在大基数上构造各种
本卷是集合论的模型分析部分.在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从而证明一般连续统假设和选择公理的相对相容