面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

线性代数 【数理化】

本书为高校教材，内容包括：线性方程组、行列式、矩阵、向量组的线性相关性、二次型、线性空间等。

线性代数教程 【数理化】

本书介绍线性代数的基础知识，包括行列式，矩阵，线性方程组等。

线性代数辅导讲义 【数理化】

本书是一本研究生考试辅导讲义。

高等代数简明教程 上 【其他书籍】

线性代数 【数理化】

本书分为7章，分别是：行列式，矩阵，n维定向，线性方程组，投入产生数学模型，线性规划数学模型，运输问题数学模型。

线性代数学习指导 【数理化】

线性代数 2版 【数理化】

本教材介绍了线性代数知识。

抽象代数基础 【数理化】

本书的内容为群论，环论技术，域上的线性代数，是抽象代数的基础教材。

高等代数 【数理化】

本书是浙江省高校精品课程《高等代数》教材，全书涉及多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换等内容，可作为现行教材的教学参考书。...