关于我们
书单推荐                   更多
新书推荐         更多
点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • LINGO基础培训教程
    • LINGO基础培训教程
    • 李汉龙,隋英,韩婷 编/2021-1-1/ 国防工业出版社/定价:¥58
    • 《LINGO基础培训教程》是作者结合多年LINGO教学实践编写的。其内容包括LINGO介绍、LINGO基础、LINGO外部文件接口、UNGO在数学规划中的应用、LINGO多目标规划模型、LINGO数学模型编程实例共六章,书中配备了较多的实例。这些实例是学习LINGO与数学建模必须掌握的基本技能。同时在每章后面给出了大量

    • ISBN:9787118122008
  • 数学建模与实验(王威娜)(第三版)
    • 数学建模与实验(王威娜)(第三版)
    • 王威娜、温宇鹏 等 编/2020-12-1/ 化学工业出版社/定价:¥48
    • 数学建模与实验是将数学理论和专业知识有机结合的有效途径。本书通过案例介绍各种数学建模方法,并运用数学软件实现模型求解,内容包括规划模型、微分方程模型、随机模型、数据处理与统计模型、图论模型、模糊数学模型、层次分析模型等。还介绍了数学软件MATLAB和相关数学建模竞赛。各章后附练习题。本书可作为高等学校数学建模与数学实验

    • ISBN:9787122372826
  • 数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
    • 数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
    • 余俊伟 赵晓玉 裘江杰 张立英/2020-8-1/ 中国人民大学出版社/定价:¥58
    • 主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用(包括不完全性定理及技术发展过程中衍生的语言分析技术)

    • ISBN:9787300284392
  • 数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
    • 数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
    • 郝兆宽,杨睿之,杨跃 著/2020-8-1/ 复旦大学出版社/定价:¥49
    • 本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识,主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容,重点介绍哥德尔的完全性定理;第七章是递归论的基本知识,也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德

    • ISBN:9787309145687
  • 公理化集合论
    • 公理化集合论
    • 李娜 著/2020-8-1/ 南开大学出版社/定价:¥42
    • 公理集合论(AxiomaticSetTheory)是数理逻辑的主要分支之一,是用公理化方法重建(朴素)集合论的研究以及集合论的元数学和集合论的新的公理的研究。本书是作者研究集合论多年的成果,全书共13章。与通常的公理集会论著作不同,本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念,为没有受

    • ISBN:9787310059492
  • 数学建模入门教程
    • 数学建模入门教程
    • 陈龙伟,熊梅 著/2020-7-1/ 科学出版社/定价:¥49
    • 《数学建模入门教程》主要包括数学建模与数学建模竞赛、MATLAB软件简介、微分方程数值解、线性规划与非线性规划、LINGO软件及离散问题求解、多元统计方法、图像处理与模式识别、案例分析等内容。《数学建模入门教程》集数学建模入门基础知识、数学实验及程序编写为一体,注重入门基础知识介绍、数学软件及程序编写,由浅入深、循序渐

    • ISBN:9787030656247
  • 结构推理(第二版)
    • 结构推理(第二版)
    • 冯棉 著/2020-7-1/ 广西师范大学出版社/定价:¥68
    • 结构推理是现代逻辑的重要推理方式之一,它通过对各种结构规则的研究,从整体上处理一大类逻辑,具有良好的表现力。与此同时,借助于结构规则和联结词规则,也揭示出各个现代逻辑分支的差异,成为诸分支比较研究的有力工具。结构推理展现了日常推理中的多种推理方式,对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。

    • ISBN:9787559828781
  • 数学建模与数据处理
    • 数学建模与数据处理
    • 贾丽丽等/2020-6-1/ 科学出版社/定价:¥49
    • 编者根据高等院校数学建模课程的教学基本要求结合自身丰富的理论教学和竞赛指导经验编写《数学建模与数据处理》。《数学建模与数据处理》共6章,分别是绪论、方程模型、规划模型、图与网络模型、统计模型和论文写作及真题解析。另外,部分章节附有相应的程序。《数学建模与数据处理》实用性强、通俗易懂,且能够启发和培养学生的自学能力。

    • ISBN:9787030632968
  • 研究生数学建模精品案例(第二卷)
    • 研究生数学建模精品案例(第二卷)
    • 朱道元/2020-6-1/ 科学出版社/定价:¥108
    • 本书精选了2013~2017年中国研究生数学建模竞赛的七个赛题.全书共分8章,内容包括对中国研究生数学建模竞赛的思考、水面舰艇编队防空和信息化战争评估模型、微蜂窝环境中无线接收信号的特性分析、乘用车物流运输计划问题、机动目标的跟踪与反跟踪、面向节能的单/多列车优化决策问题、多无人机协同任务规划、多波次导弹发射中的规划问

    • ISBN:9787030650962
  • 数学建模案例(第2版)
    • 数学建模案例(第2版)
    • 韩明,张积林,李林,林杰,林江宏 著/2020-5-1/ 同济大学出版社/定价:¥49
    • 本书精选24个问题作为案例,以“问题驱动”的形式详细讲解建立数学模型的思路、方法和步骤,并给出各个问题的解决方案.在所选案例中,有的是“中国大学生数学建模竞赛”“美国大学生数学建模竞赛”的赛题,也有根据赛题改编的问题.涉及的数学方法主要有微分、积分、代数、统计、概率、微分方程、分形几何、拟合、插值、灰色理论、图论、现代

    • ISBN:9787560892191