关于我们
书单推荐                   更多
新书推荐         更多
点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • 数学建模
    • 数学建模
    • 祁永强/2020-3-1/ 科学出版社/定价:¥89
    • 全书分为入门篇和进阶篇。入门篇为比较经典的数学建模内容,主要面向数学建模的初学者;进阶篇为现代数学建模方法和MATLAB软件简介及应用,主要面向希望进一步提高数学建模能力并用于解决实际问题的读者,这些方法在数学建模竞赛中会经常用到。全书案例丰富,每章后附有习题,其中不部分习题需要上机实践。

    • ISBN:9787030637000
  • 集合论导引(第三卷)
    • 集合论导引(第三卷)
    • 冯琦/2020-1-1/ 科学出版社/定价:¥198
    • 本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析.这种分析既包含组合分析,也包含逻辑分析;既包含内模型分析,也包含外模型分析;归根结底是揭示各种高阶无穷公理对整个集合论论域的影响,尤其是对实数集合的影响.因此,第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内模型构造;第2章侧重于在大基数上构造各种

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

    • ISBN:9787030636225
  • 集合论导引(第一卷)
    • 集合论导引(第一卷)
    • 冯琦著/2020-1-1/ 科学出版社/定价:¥138
    • 《集合论导引》共三卷,本书是第一卷,本卷是这本《导引》的开卷。本卷将分成三章来为后续两卷奠定基础。第一章主要是引进集合论的基本公理、基本概念、基本方法以及建立起典型的可数集合的例子,包括自然数集合、整数集合、有理数集合以及彻底有限集合的集合。第二章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第三章

    • ISBN:9787030636218
  • 公理化集合论机器证明系统
    • 公理化集合论机器证明系统
    • 郁文生,孙天宇,付尧顺/2019-12-1/ 科学出版社/定价:¥128
    • 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其

    • ISBN:9787030640390
  • 特征建模理论、方法和应用
    • 特征建模理论、方法和应用
    • 吴宏鑫,胡军著/2019-11-1/ 国防工业出版社/定价:¥156
    • 本书内容包括五个方面:第一部分系统地论述了各种线性、非线性系统(包括开环不稳定系统),根据不同控制要求建立特征模型的理论,以及具体实现的技术方法;第二部分论述了特征模型的参数估计新方法以及基于特征模型的控制方法;第三部分分析和证明了基于特征模型的自适应控制器与原实际对象组成闭环系统的稳定性;第四部分介绍了几类不同特征对

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

    • ISBN:9787040513523
  • 悖论-(:人类理性之迷)
    • 悖论-(:人类理性之迷)
    • 张建军/2019-11-1/ 中国社会科学出版社/定价:¥99
    • 悖论-(:人类理性之迷)

    • ISBN:9787520343282
  • MATLAB程序设计及数学实验与建模
    • MATLAB程序设计及数学实验与建模
    • 史加荣 著/2019-11-1/ 西安电子科技大学出版社/定价:¥39
    • 本书注重算法设计,强化数学思维,将MATLAB程序设计与数学实验、数学建模相互融合,通过大量例题、习题、实验和建模案例来锻炼和提升程序设计能力。全书共22章,分基础篇和应用篇两个部分。基础篇(1章~第10章)介绍了MATLAB基础,包括向量与矩阵、逻辑与关系运算、程序设计基础、散点图与曲线绘制、网格曲线与曲面绘制、符号

    • ISBN:9787560654669
  • 数学建模的实践(下册)
    • 数学建模的实践(下册)
    • 裘哲勇 著/2019-11-1/ 西安电子科技大学出版社/定价:¥36
    • 本书是从杭州电子科技大学近十年来参加全国大学生数学建模竞赛获得一等奖的论文和参加美国大学生数学建模竞赛与交叉学科建模竞赛获得特等奖的论文中精选出的20篇论文加工整理而成的。下册选自CUMCM2008—B题、CUMCM2011—B题、CUMCM2012—A题、CUMCM2012—B题、CUMCM2013—B题、CUMCM

    • ISBN:9787560653631