书单推荐
更多
新书推荐
更多
当前分类数量:324  点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • 数理逻辑基础教程
    • 数理逻辑基础教程
    • 张峰/2025-3-1/ 清华大学出版社/定价:¥79
    • "本书对数理逻辑的基础知识进行了系统介绍。全书共8章,其中,第1章介绍了数理逻辑的基本思想以及后面各章所用到的预备数学知识,第2~6章分别介绍了命题逻辑和谓词逻辑,构造了它们的形式系统,并讨论了它们的系统性质,进而引入了包含数学理论的形式系统,前6章是本书核心内容;后2章介绍了哥德尔的不完全性定理、算法可计算性,这部分

    • ISBN:9787302682400
  • 数学建模与实验
    • 数学建模与实验
    • 宋玉坤/2024-12-31/ 复旦大学出版社/定价:¥45
    • 本书将数学建模和数学实验课程有机融合,以数学软件为操作平台,以解决数学问题为主要线索,为培养大学生数学建模能力打下基础,为提高大学生计算机应用水平创造条件。全书共7章,分别为数学建模入门、简单优化模型、数学规划模型、常微分方程模型、插值与拟合、图论模型、概率统计模型。各章包括基本内容和典型案例分析,通过案例教学开拓学生

    • ISBN:9787309177183
  • 面向计算机科学的数理逻辑
    • 面向计算机科学的数理逻辑
    • (德)迈克尔·休斯(MichaelHuth),(英)马克·莱恩(MarkRyan)著/2024-11-1/ 机械工业出版社/定价:¥99
    • 本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理,并介绍了Alloy语言和

    • ISBN:9787111770688
  • 数学归纳法
    • 数学归纳法
    • (美)蒂图·安德雷斯库,(罗)弗拉德·克里桑著/2024-10-1/ 哈尔滨工业大学出版社/定价:¥48
    • 本书第一章为归纳法简述,是对这个主题的简要介绍,在几何论的背景下描述了归纳法,并提出几个相关示例,说明如何由它导出非负整数的不同性质;第二章的题目为加和、乘积与相等,主要适用于想要熟悉归纳法应用的基础知识的读者,所提出的问题的性质与最初促使归纳法作为代数工具使用的问题相似;从第三章开始,通过讨论数学各个领域的归纳法,跟

    • ISBN:9787576713800
  • MATLAB数学建模从入门到精通
    • MATLAB数学建模从入门到精通
    • 马世拓 著/2024-10-1/ 北京大学出版社/定价:¥79
    • 本书结合案例,系统介绍了使用MATLAB进行数学建模的相关知识和方法论。 本书分为11章,主要包括走进数学建模的世界、函数极值与规划模型、微分方程与差分模型、数据处理的基本策略、权重生成与评价模型、复杂网络与图论模型、时间序列与投资模型、机器学习与统计模型、进化计算与群体智能、其他数学建模知识、数学建模竞赛中的一些基本

    • ISBN:9787301354544
  • 数学建模竞赛优秀论文精选
    • 数学建模竞赛优秀论文精选
    • 黄冠佳,彭蓝婷著/2024-10-1/ 中山大学出版社/定价:¥50
    • 数学建模系列比赛是一项考察学生使用数学工具解决实际问题的比赛,其中含金量最高的比赛为全国研究生数学建模竞赛、全国大学生数学建模竞赛,获得的奖励对推免、评奖学金等都有较大的贡献。本书是作者学生时期参加数学建模竞赛的获奖论文与任教职之后指导学生参加数学建模竞赛的获奖论文之中,精选完成得最为理想的六篇加工而成。为了展现最真实

    • ISBN:9787306081322
  • 数学建模与数学规划:方法、案例及编程实战(Python+COPT/Gurobi实现)
    • 数学建模与数学规划:方法、案例及编程实战(Python+COPT/Gurobi实现)
    • 刘兴禄 等/2024-9-1/ 电子工业出版社/定价:¥98
    • 本书主要从数学规划的视角出发,系统地介绍了数学优化问题建模和求解的相关理论、方法、实际案例,以及基于Python和数学规划求解器(COPT和Gurobi)的编程实战。全书共分为四部分。第一部分为基本理论和建模方法,重点介绍了数学规划模型分类和建模方法(包括逻辑约束与大M建模方法、线性化方法)以及计算复杂性理论。第二部分

    • ISBN:9787121487170
  • GMAT批判性推理:逻辑分类精讲 第3版 毕出 王钰儿
    • GMAT批判性推理:逻辑分类精讲 第3版 毕出 王钰儿
    • 毕出王钰儿/2024-8-1/ 机械工业出版社/定价:¥78
    • GMAT批判性推理题以非形式逻辑作为依托,希望考生正确识别一个论证的结构,继而准确找到当前论证结构的评估方式,最终选出正确答案。本书正是以批判性推理题所考查的非形式逻辑为基础编写的。全书共三章,内容涉及批判性推理的基础知识、演绎论证、假说论证、批判性推理常见四大题型,以及最后的综合练习。本书语言简练,帮助读者从了解批判

    • ISBN:9787111758518
  • 数学模型(第六版)
    • 数学模型(第六版)
    • 姜启源,谢金星,叶俊编/2024-8-1/ 高等教育出版社/定价:¥60
    • "本书第一版至第五版分别出版于1987年、1993年、2003年、2011年和2018年。基于编者长期从事数学建模和数学实验教学、数学建模竞赛组织和辅导,始终关注国内外数学建模教学案例收集与研究的经验,第六版在保持前五版基本结构和风格的基础上,进行增删与修订,新增和改编的案例生动新颖、内涵丰富。全书纸质内容与数字化资源

    • ISBN:9787040629637
  • 数学建模与实践
    • 数学建模与实践
    • 祁永强/2024-8-1/ 科学出版社/定价:¥99
    • 《数学建模与实践》是基于作者多年来从事数学建模教学、组织数学建模竞赛、开设数学实验课程以及编写相关书籍的丰富经验编写而成的。本书是作者对《数学建模》一书的修订,除保留了前三版的大部分内容外,根据读者的反馈进行了补充与修订,尤其在第5章增加了求解实际问题的MATLAB程序设计。全书分为入门篇和进阶篇。入门篇内容包括数学模

    • ISBN:9787030786142