布尔代数与开关电路的理论和习题 【数理化】

线性代数解题中的错误分析 【数理化】

暂缺《线性代数解题中的错误分析》简介

数学：第12种 半单纯李氏代数的结构 【数理化】

模论 对线性代数的一种处理 【数理化】

三角代数及其相关代数上的映射问题 【数理化】

三角代数是一类重要的非半素代数，它包括了（块）上三角矩阵代数和套代数。其中，套代数是一类重要的算子代数。本书主要介绍三角代数上自同构群、Lie同构、导子、Lie导子、Jordan同构、Jordan导子、交换化线性映射...

巴拿赫代数在算子理论中的应用 【数理化】

高等代数在初等数学中的应用 【数理化】

纠错码的代数理论 【数理化】

本书概要介绍半个世纪以来由数学通信的可靠性要求所适应和不断发展的纠错码数学理论。适用于代数专业研究生和高年级本科生。对研究信息科学与计算机科学中许多其他问题也会有所帮助。...

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

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

线代数方程组的计算机解法 【数理化】