本书共分四大部分：数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论，一阶逻辑的基本概念、前束范式以及推理理论；集合论部分包括集合的基本概念与运算，二元关系的性质与运算、等价关系与偏序关系，函数及其性质，复合函数与反函数等；代数结构部分包括二元运算及代数系统，半群、独异点、群、环与域、格与布尔代数等。图论部分

本书是根据教育部关于理工科线性代数课程的教学基本要求编写的本科线性代数教材，编者全部是具有丰富教学经验的一线教师.全书共分为五章，内容包括：行列式、矩阵、向量与线性方程组、矩阵的特征值与特征向量、二次型.本书按节配置习题，每章有总练习题，书后附有习题答案与提示，便于读者参考. 本书根据理工科学生的实际要求及相关课程的设

本书是在《大学数学应用教程（本科第二版）》基础上，深入总结多年来教学改革和实践的经验，适应教育部应用型本科转型改革和试点的需要并充分利用多媒体等现代教学技术编写而成的。本书适合非“211”大学理工科和经济、贸易与管理类本科专业使用，也适合同层次的成人教育以及工程技术人员使用。全书分为线性代数和大学数学的线性代数软件实现

本书叙述深入浅出，以矩阵为主线，突出矩阵的运算和化简，突出用矩阵方法研究线性方程组、二次型和实际问题模型。本书对于抽象的理论和方法，总是从具体问题入手，再将其推广到一般情形，而略去了许多繁杂的理论推导，并力求将数学与应用相结合。本书的主要内容包括线性方程组、矩阵代数、行列式、向量空间、矩阵的特征值与特征向量和二次型等。

线性代数是大学理工科与经济、管理等学科的一门基础课程。现将习题、自测题与期末全真试题部分集为一册出版，以使学习者完成练习更加便利。本书是配套教材《线性代数》（邵建峰、刘彬编）的学生用练习册，共四部分。第一部分是线性代数前七章的习题与每章自测题；第二部分是线性代数测试试题及详解；第三部分是线性代数部分往年考题及详解；第四

本书是作者根据多年从事高等代数与解析几何课程教学的经验编写而成的,在编写中尽量站在学生的角度来合理地安排全书的结构体系,将二次型及其矩阵的特征值这一历史上的经典问题作为引入整个课程内容的一条叙述主线,真正将高等代数与解析几何有机地结合起来,相得益彰.本书对每一个重要概念都尽可能地给出要引入的理由,努力讲清楚抽象概念和理

本教材是根据《高等代数》课程教学大纲，结合作者多年的教学实践和教育教学研究，根据学生特点和时代特点，精心编著而成。使学生认识和理解由中学所学习的经典代数知识过渡到高等代数习题，以期达成掌握代数理论所要研究的"运算"的基本规律，并解决实践领域中的具体问题，并掌握数学基本理论、基本原理和基本方法。全书包括多项式、行列式、线

教材内容经典，体系完备，结构合理．本教材是根据高等学校基础理论数学“以应用为目的，以必需、够用为度”的原则，按照教育部审定的高等院校《线性代数课程教学基本要求》编写的. 全书共5章：行列式、矩阵、线性方程组、特征值与特征向量及二次型.每章节均配有习题，书末附有习题参考答案及部分考研真题.针对以教学为主的应用型大学特点，

本书按照线性代数教材的编排方式，系统论述了基于MATLAB语言编程的方法来实现线性代数问题的求解。全书内容包括矩阵的输入方法、矩阵基本分析方法、矩阵基本变换与分解方法、矩阵方程的求解方法与矩阵任意函数的计算方法等。此外，书中还介绍了线性代数的诸多应用问题的建模与求解方法。本书可以作为高等学校理工科各类专业的本科生与研究

本书系统阐述了直觉模糊二人非合作博弈的理论模型与求解方法，主要内容包括：直觉模糊集的基本理论，直觉模糊数的基本理论及排序方法，非合作博弈的基本理论，目标为直觉模糊集的零和博弈，支付值为直觉模糊集的零和博弈，支付值为直觉模糊数的零和博弈，策略带有约束的直觉模糊零和博弈与直觉模糊双矩阵博弈的理论模型及求解方法.