本书较为系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识,全书分为4个部分(数理逻辑、集合论、代数结构和图论),共7章。章介绍命题及命题逻辑; 第2章介绍一阶谓词逻辑及其推理理论; 第3章介绍集合的基本概念和性质; 第4章介绍二元关系和函数; 第5章介绍代数系统基本概念; 第6章介绍几个典型的代数系统; 第7章介绍图论的基础内容和一些特殊图及其性质。各章之后配有适当难度的习题及其简要参考答案,便于学生课后练习。每个部分结束后配有内容小结,便于学生自学、复习和提高。本书可以作为高等院校计算机科学与技术、软件工程、通信工程等相关专业的教材,也可以作为考研学生及计算机工作者的参考书。
本书结合大量应用和实例详细介绍线性代数的基本概念、基本定理与知识点,主要内容包括:矩阵与方程组、行列式、向量空间、线性变换、正交性、特征值和数值线性代数等。为巩固所学的基本概念和基本定理,书中每一节后都配有练习题,并在每一章后提供了matlab练习题和测试题。本书叙述简洁,通俗易懂,理论与应用相结合,适合作为高等院校本科生“线性代数”课程的教材,同时也可作为工程技术人员的参考书。