本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。

本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公

本书内容全面，系统性强，涵盖了国内工科研究生对矩阵论的几乎全部知识点，并在教学结构上进行了创新的优化和调整。本书包含五章内容。第一章为对线性代数知识的回顾，第二章介绍线性空间的定义、赋范线性空间、内积空间；第三章介绍线性变换；第四章介绍若当标准型及详细的矩阵分析及矩阵函数等内容；第五章介绍矩阵分解、广义逆、Kronec

本书是著名数学家单墫教授为中学生写的一本简明的数论辅导书，高屋建瓴地总结出中学数论中的重要知识点（如数的整除性、同余、数论函数、不定方程、连分数等），对中学数论的定理、概念等结合例题和小故事进行了详细的讲解，并提炼、编创了一些特别能启发思维的练习题，通过这些练习可使读者对中学数论的知识和方法有所收获。本书适合中学生学习

本书涵盖了行列式、矩阵、向量的线性相关性、线性方程组、特征值与特征向量等基础知识，并增加了课程思政内容，注重培养学生基本应用能力和理论联系实际的能力，具有较强的实用性和针对性。并且制订并完善了适合学生实际的教学大纲，帮助同学们对所学知识进行总结梳理并巩固。

本书参照全国硕士研究生入学统一考试数学考试大纲编写而成。全书共7章，内容包括行列式、矩阵、线性方程组、向量组的线性相关性、线性空间与线性变换、相似矩阵及二次型、多项式等。本书以经典内容为基础，融入几何直观，帮助读者理解抽象的理论知识；以基本理论知识为基础，附加MATLAB程序，帮助读者快速掌握基本知识的计算机实现；以知

1965年，Zadeh教授在他的经典文献“FuzzySets”中引入了模糊集合的概念，以及模糊集合的运算，从此就产生了模糊集理论，1975年，Zadeh教授又提出了区间值模糊集的概念，它可以看成是模糊集的一种推广，将隶属度的取值是0，1的数替代为区间数。由于区间值模糊集的特点是同时考虑隶属与非隶属两方面的信息，使得它在

本书分为知识要点、练习测试两部分，知识点包括：行列式、矩阵及其运算、矩阵的初等变换与线性方程组、向量组的线性相关性、相似矩阵及二次型等。

本书从图论的起源，控制数理论的提出和发展，再到图的罗马控制和弱罗马控制概念的提出，描述了控制数理论产生的历史背景和重要意义，描述了图的一些相关概念和常用记号，并给出了图的罗马控制和弱罗马控制的一些已知结论，用数学归纳法和构造法确定了3Xn和4Xn格图的罗马控制数，给出了完全n部图、2Xn格图等一些特殊图类的弱罗马控制数

本书是国家级规划教材《线性代数》的辅助教材，是编者根据多年的教学实践经验，按照新形势下高等教育改革的精神，结合财经类高校本科专业线性代数的教学大纲编写而成的。是在前三版的基础上结合教学实践情况修订而成。章节编排上与教材匹配。全书分为八章，主要包括行列式、矩阵、n维向量与线性方程组、线性空间、矩阵的对角化、实二次型、线性