在当今高等数学教育与学科竞赛深度融合的时代，大学生数学竞赛已成为锤炼数学思维、检验学术能力的重要试金石，更是推动数学教育创新与人才选拔的关键引擎。本书针对大学生数学竞赛典型问题，系统展示了其各种求解方法，并且分层次分类别给出了综合训练题目。全书共10章，分为四部分。第一部分（第1—3章），给出了不同类型极限的各种求法，包括极限的基本求解方法、斯托尔茨定理及其应用，以及和式极限的求法与估计。第二部分（第4，5章），探讨了高阶导数的各种典型求法和微分中值定理及其应用。第三部分（第6—8章），展示了定

"本书对数理逻辑的基础知识进行了系统介绍。全书共8章，其中，第1章介绍了数理逻辑的基本思想以及后面各章所用到的预备数学知识，第2~6章分别介绍了命题逻辑和谓词逻辑，构造了它们的形式系统，并讨论了它们的系统性质，进而引入了包含数学理论的形式系统，前6章是本书核心内容；后2章介绍了哥德尔的不完全性定理、算法可计算性，这部分相对于前6章而言是扩展内容。
本书论述深入浅出，脉络清晰，每章均配有一定数量的习题，适合自学使用。本书不需要读者具有较多专门的数学知识，具备高中数学知识基础的读者也可以掌握本

本书较为系统地介绍了计算机科学与技术、软件工程、智能科学与技术、人工智能、数据科学与大数据技术等信息类或智能类相关专业培养所必需掌握的离散数学基础知识，全书分为四个部分（数理逻辑、集合论、代数结构和图论），共7章.第1章介绍命题及其命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍二元关系和函数的基础知识；第5章介绍代数系统；第6章介绍几种典型的代数系统；第7章介绍图论的初步内容和一些特殊图及其性质.本书各章之后配有适当难度的习题，便于学生课后练习，书中也提

本教材力求兼顾理论教学与软件工程专业教学, 构思以课程自身内容为载体的应用及实践, 链接软件工程后续课程。内容覆盖集合论 (集合、关系、函数)、数理逻辑基础 (命题逻辑、谓词逻辑、自然推理系统)、图论基础、抽象代数 (群、环、域、格)。实践环节, 以某种程序设计语言为载体 (Python、Haskell或Racket), 以离散数学问题 (集合论、数理逻辑、图论、抽象代数) 为对象, 实践问题建模、求解、函数式编程, 并选取来自于离散数学课程内容的案例, 引导学生进行一定难度的软件开发实践。

本书以解决数学建模常见问题为目标，内容深入浅出，以软件功能和数学建模有关数值计算问题为主线，结合各种应用实例，详细讲解了数学建模常见问题的软件实现。本书各个章节相对独立，内容体系完整，涉及初等模型、高等数学、线性代数、概率论与数理统计的基本模型，综合评价方法、插值与拟合、图论、多元统计分析、数据挖掘、差分方程和灰色系统预测等模型，选取数学建模竞赛专科组竞赛题目和优秀论文作为教学案例，每一章理论后都有例题或小案例，给出了建模过程和计算程序。

本丛书是为预科阶段循序渐进的持续学习过程而设计。在低年级课程中介绍过的基础概念，会在后续的课程中重新出现，并会进一步深入讲解。同时，数学课程内容安排与物理课程内容安排紧密联系。本书是中法工程师学院预科教学丛书中由科学出版社于2021年8月出版的《大学数学基础1（法文版）》的中文译本。本书包括以下主要内容：群、环、域；关系与集合；数列；向量空间和线性映射；整数中的算术；单实变量的实值或复值函数；多项式和有理分式。

"本书是清华大学出版社“十四五”规划系列教材之一，是为普通高等院校非数学专业高等数学课程编写的教材，在保持结构严谨、内容通俗易懂的同时，注重基础，减少繁琐又难以起到启发思维作用的逻辑证明，注重对学生的基本运算能力、分析问题及解决问题能力的培养，适合高等院校本书是清华大学出版社“十四五”规划系列教材之一，是为普通高等院校非数学专业高等数学课程编写的教材，在保持结构严谨、内容通俗易懂的同时，注重基础，减少繁琐又难以起到启发思维作用的逻辑证明，注重对学生的基本运算能力、分析问题及解决问题能力的培养，适

"《离散数学》根据作者多年从事离散数学教学和实践经验编写而成，系统地阐述了离散数学的经典内容，从离散结构的形式化表示，到各类离散结构及其数学模型的描述出发，讲解有关集合、数理逻辑、图论以及代数系统的基本概念、定理、证明方法以及相关算法，逐步建立离散化、公理化和系统化的计算机专业意识，并通过紧密联系计算机学科的的应用实例，展示离散数学理论在软件工程和计算机科学与技术中的基础作用和强大应用，特别强调计算思维和理论应用能力的培养。全书共11章，包括集合、关系、函数、命题逻辑、谓词逻辑、图和树，以及代数

这本《线性代数、概率统计同步练习卷》 可以帮助读者加深对基本概念的理解，加强对基本解题方法和技巧的掌握，培养读者分析和解决问题的能力，为期末考试、考研等打好基础。本书与教材形成互补，题目类型涵盖选择题、填空题、计算题、解答题等。内容共十三章，每章分为A，B两卷，并附有期中测试卷和期末测试卷，便于读者进行阶段性测试。本书部分内容参考了考研与数学竞赛真题，由易到难、由浅入深，满足不同学生的学习需求，方便学生的自评自测。

本书根据最新的“高等学校理工科、经管类专业线性代数课程的教学基本要求”，并结合考研大纲编写而成。全书共分六章，内容包括：行列式，矩阵，向量，矩阵对角化，二次型，线性空间等。本书配有网络云资源，每章章节末配有习题，书末附有参考答案。本书重在培养学生对实际问题的分析与解决问题能力。 本书适合高等院校理工科非数学类各专业作为教材使用，也可作为需要学习线性代数的科技工作者，准备考研的非数学专业学生及其他读者自学的参考书。