多处理机系统的逻辑分析与设计

数字逻辑与数字系统设计 第2版

逻辑与批判性思维

本书作者运用现代逻辑的思想和方法对传统的逻辑加以改造的同时，注意密切联系自然语言和日常思维，以求较好地展示逻辑对于批判性思维的指导作用。...

可编程逻辑器件与数字系统设计

本书介绍了可编程逻辑器件等内容。

普通逻辑原理自学与临考强化指南

论中国近世文学 五十年来中国之文学

高等代数教学分析与研究

本书依据三年制师专高等代数教学大纲的要求，根据学生学习高等代数所反映的实际困难，结合教材与学生的认识规律，对教材的主要章节给出了学习目标与重、难点，对难于理解的概念、符号和结论等给予详尽的分析与解答...

线性代数问题解析与模型分析

本书共7章。包括线性议程组、矩阵应用范例解析、行列式、特征值问题及二次型、线性空间、用计算机求解线性代数问题等内容。

非线性代数方程组与定理机器证明

高等代数学习方法与解题指导

本书包括：多项式、行列式、向量与线性方程组、矩阵、二次型线性空间，线性变换，概念和结论，常用解题方法与典型例题，综合例题等。