本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识，并在其前一版的基础上进行了修改与扩展。书中通过大量实例，深入浅出地讲解了集合与逻辑，证明，函数、序列与关系，算法，数论，计数方法与鸽巢原理，递推关系，图论，树，网络模型，Boole代数与组合电路，自动机、文法和语言等与计算机科学密切相关的前沿课题，既着重于各部分内容之间的紧密联系，又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽，各章配有相当数量的习题与书后的提示和答案，为读者迅速掌握相关知识提

高等代数是数学专业考研的必考课程,本书是作者在积累了多年为数学专业本科生进行高等代数考研辅导的经验的基础上编写而成的.全书共9章，包括行列式、线性方程组、矩阵、多项式、二次型、线性空间、线性变换、 -矩阵、欧式空间等内容.

书中对很多高校近年的高等代数考研高频真题进行了分类解析,使得读者能够举一反三,熟悉考试中经常出现的题型并且掌握每种题型的解法.同时对很多真题给出了多种解法,有利于开阔学生的视野与解题思路.

本书具有真题丰富、分类精解、解法多样的特

离散数学是现代数学的重要分支，是计算机科学理论的基础。 本书内容包括四部分：*部分为数理逻辑，包括第1章命题逻辑、第2章谓词逻辑；第二部分为集合论，包括第3章集合、第4章二元关系和函数；第三部分为图论，包括第5章图简介、第6章特殊的图、第7章树；第四部分为代数系统，包括第8章代数系统简介、第9章几个典型的代数系统。 本书适合作为普通高等院校计算机类专业的教材，也可供计算机软件从业人员学习与参考。

　　《数学建模实验/阿尔泰数学教程系列，普通高等教育“十三五”规划教材》涵盖了数学建模初步、差分方程、插值与数值积分、常微分方程、线性代数方程组、非线性方程与方程组、无约束优化、约束优化、整数规划、数据统计分析、统计推断、回归分析等基本而重要的建模门类。各章的前部，是数学软件MATLAB/LINDO/LINGO的常用基本命令的演示，后部则是一些典型的建模案例，每个实验又区分难易，较简单的实验，以程序为单一主体；较复杂的，则设置模型问题、建模求解、程序设计、结果说明等段落，清晰演示一个数学模型从问

　　《LINGO软件及应用习题解答》是国防工业大学出版社出版的《LINGO软件及应用》一书的配套书籍。《LINGO软件及应用习题解答》给出了《LINGO软件及应用》中全部习题的解答过程和配套程序设计。尤其是第12章，针对数学建模竞赛10道竞赛题目，参照公开出版的优秀论文给出的解答思路，给出了包括问题分析，模型假设，模型建立和求解，以及对应的程序设计在内的完整解答过程，有些题目还给出了两种不同思路的解答过程。
　　《LINGO软件及应用习题解答》的程序来自于教学实践，有许多经验心得体现在编程

本书是一本的现代教材，给出新的线性代数基本介绍和一些有趣应用，目的是帮助学生掌握线性代数的基本概念及应用技巧，为后续课程的学习和工作实践奠定基础。主要内容包括线性方程组、矩阵代数、行列式、向量空间、特征值与特征向量、正交性和小二乘法、对称矩阵和二次型、向量空间的几何学等。此外，本书包含大量的练习题、习题、例题等，便于读者参考。

本书将传统的主教材和学习指导书合二为一，充分考虑了教师讲授和学生学习的必要性与便利性。主要内容有行列式、矩阵、向量、线性方程组、矩阵的相似与二次型等。

本书共6章，包括行列式、矩阵、向量组的线性相关性、线性方程组、矩阵相似与对角化、二次型。

本书源自巴黎综合理工大学的一年级课程，全书主要内容包括：  ——“数学小词典”以更紧凑的形式给出了如下数学基本概念的要点：群、环、域、矩阵、拓扑、紧性、连通性、完备性、数值级数、函数序列的收敛性、埃尔米特空间等。同时包含一百多个习题及解答。  ——讲述数学根基中的3个理论：有限群表示论、经典泛函分析和全纯函数理论。  ——13个问题校正综合了书中的定理，证明一些漂亮的结果（如证明ζ(3)是无理数）。        本书的主要特色在于强调数学的文化特性和数学的统一性。许多脚注都暂时离开数

本教材面向普通高等学校理工类本科生，主要内容涉及线性方程组与行列式、矩阵、向量代数、线性空间、线性变换、特征值与特征向量、二次型、双线性函数等。与本书配套的有二维码电子补充素材.该套教材汲取了传统教材以教师讲授为蓝本的思路,从学生学习的角度加强内容的可读性，总结了作者教学科研经验,注重线性代数概念发展演变和实际应用,选用了大量有关例题与习题;内容深入浅出，叙述详尽．可供高等院校非数学专业本科生作为教材或参考书。