本书重点介绍离散结构的构造、性质及其相关推理证明方法，面向计算机的现代数学观点与方法。全书从表达、理论、工程应用几个层面设计主要内容，注重培养学生的抽象思维能力、逻辑推理能力，注重将数理逻辑、集合论、组合计数、抽象代数以及图论的发展历程中的相关思想、方法融入有关问题的探讨过程中，引导学生应用有关离散结构表达计算机科学相

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提

本书是在第一版的基础上，依据高等学校大学数学课程教学指导委员会制定的《大学数学课程教学基本要求》，结合应用型高校人才的培养目标和学习特点，并深度融合新工科理念修订而成的。 全书主要内容包括行列式，矩阵及其运算，向量组的线性相关性与矩阵的秩，线性方程组，特征值与特征向量，矩阵的对角化，二次型，线性空间与线性变换，每章后附

本书收集了2003-2023共268道条件充分性判断真题及解析，按照类型进行组合。

"本书与同济大学数学科学学院编写的《高等数学》（第八版）相配套，由同济大学数学科学学院的教师按照《高等数学》（第八版）的章节顺序编写而成。本书的编排与教学需求保持同步，每节（或相关的几节）包括内容要点、教学基本要求、释疑解难、例题增补、习题选解等栏目。习题选解对教材中较难并具有典型性的约三分之一总量的习题作出简要解答，

本书共分为九章，包含多项式、行列式计算、线性方程组、矩阵、二次型、线性空间、线性变换、若当标准型和欧氏空间。每章分为三部分：第一部分为基本题型及常用解题方法介绍；第二部分为例题选讲(主要利用介绍方法教会学生解题)；第三部分为北大与北师大教材习题及参考解答。

本书将打破人们的传统认知,用八个主题:数的秘密、数字符号与工具、数学与生活、数学家的故事、时间与历法、大自然中的数学、几何世界、数的运算,共104个数学知识点,184张精美插图,用简洁明快的语言带领读者们走进数学的世界,一起探索数学的奥秘。让孩子们收获关于数学的知识,感受数学名家的风范,也让孩子们在快乐的阅读中增长本领

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

"本书内容由微分方程、多元微分学，多元函数积分、级数四个部分构成，涵盖了高等数学的基本理论和算法，章节内容设计由浅入深逐步递进。教材内容注重与相邻学科内容的衔接，同时注重与实际应用的结合。 高等数学（二）的内容：第7章为微分方程部分，包括微分方程的求解及其应用；第8章为多元微分学部分，包括多元函数的概念、偏导数的求导

本书的目标是为学生和讲师提供易于理解的资料。本书是为大学二年级以上的学生设计的分析学课程的第二卷，本书包括多元函数的微分、多元函数的积分、矢量微积分三部分，本卷的目的是将一个实变量实值函数的分析扩展到从Rm到Rn的映射。