乔治 布尔发明了一套符号用来进行逻辑演算，创造了逻辑代数系统，完成了逻辑的数学化。布尔称他的工作为 思维的定律 ，理由是命题代数和思维过程的原则紧密相联。 新的知识常常会为你解决一些意想不到的难题。布尔代数就可以应用于解决逻辑问题，这些问题的条件形成一个命题的总体，我们可以利用它证实某些其他命题的真和假。布尔代数在代数学、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用。 本书介绍了布尔代数、广义布尔代数、布尔方程、布尔矩阵、布尔表示等概念，还列举了布尔代数在逻辑线路、极大极小值等问题中的应用。

本书结合大量应用和实例详细介绍线性代数的基本概念、基本定理与知识点，主要内容包括：矩阵与方程组、行列式、向量空间、线性变换、正交性、特征值和数值线性代数等。为巩固所学的基本概念和基本定理，书中每一节后都配有练习题，并在每一章后提供了MATLAB练习题和测试题。 本书叙述简洁，通俗易懂，理论与应用相结合，适合作为高等院校本科生“线性代数”课程的教材，同时也可作为工程技术人员的参考书。

本书选取经典的ACM/ICPC竞赛题目为例阐述图论算法思想，侧重于图论算法的程序实现及图论算法的应用。本书分为上、下两册。上册为～5章，其中章介绍图论基本概念和图的两种存储表示方法：邻接矩阵和邻接表，第2～5章分别讨论图的遍历与活动网络，树与生成树问题，最短路径问题，可行遍性问题。下册为第6～9章，分别讨论网络流问题，图的连通性，点支配集、点覆盖集、点独立集、边覆盖集、边独立集（匹配），平面图与图的着色问题等等。本书可以作为高等院校计算机（或相关专业）图论等相关课程的教材，也可作为ACM/ICPC竞赛的辅导教材。

本书比较全面、系统地介绍了矩阵的基本理论、方法及其应用。全书分上、下两篇，共10章，分别介绍了线性空间与线性算子，内积空间与等积变换，λ矩陈与若尔当标准形，赋范线性空间与矩阵范数，矩阵的微积分运算及其应用，广义逆矩阵及其应用，矩阵的分解，矩阵的克罗内克积、阿达马积与反积，几类特殊矩阵（如：非负矩阵与正矩阵、循环矩阵与素矩阵、随机矩阵和双随机矩阵、单调矩阵、M矩阵与H矩阵、T矩阵与汉大象尔矩阵等），辛空间与辛矩阵等内容。各章均配有一定数量的习题。附录中还给出了几套模拟自测试题。为了方便读者学习和参考，本书备有一张光盘，其中包含各章习题详解和模拟考试自测试题的解答提示等，供读者选用。 本书可作为理工科大学各专业研究生的学位课程教材，也可作为理工科和师范类院校高年级本科生的选修课教材，

本书是经典的离散数学教材，为全球多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法，内容涉及数学推理、组合分析、离散结构、算法思维以及应用与建模。全书取材广泛，除包括定义、定理的严密陈述外，还配备大量的实例和图表的说明、各种练习和题目以及丰富的历史资料和网站资源。第6版在前五版的基础上做了大量的改进，使其成为更有效的数学工具。 本书可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。

本书通过五十三个有趣味的、典型的或具有历史渊源的问题分析、解答，着重介绍了逻辑推理、命题代数、集合计算、初等数论、图论和初等组合数学等几个数学分支，使已具备离散数学初步知识的读者更多地了解这门学科的实质和思维方法，引导读者温游奥秘的数学世界，体会灵感、思维之美，本书是一本趣味性、知识性兼备的读物。 本书可作为初中学生、高中学生、大学低年级学生的课外读物，也可用作中学教师教学时选题参考和辅导数学竞赛的参考读物，具有中学以上文化水平的干部、职工中的数学爱好者，阅读此书将是一种精神享受。

《复半单李代数》源于作者1965年的讲义。该书前两部分是一个概述，幂零，可积的，半单李代数。复半单李代数包含在第三、四章。最后一章论及在没有证明的情况下，如何由李代数转向李群，这部分只是一个简单介绍。目次：幂零李代数和可积的李代数；半单李代数（一般定理）；嘉当子代数；sl2及其形式；根系；半单李代数的结构；半单李代数的线性表示；复群和紧群；索引。读者对象：李群、拓扑和代数等相关专业的研究生。

本书融有向图和无向图为一整体，系统地阐述了图论的基本概念、理论、方法及其算法，内容包括图的基本概念、Euler图与Hamilton图、图论算法、树及其应用、平面图、独立集与匹配、网络流和Petri网。书中附有大量例题和习题，而且大部分习题有详细解答。本书选材精炼全面，内容处理恰当且有新意，立论严谨，叙述条理清晰，语言流畅。本书可用作高校计算机、电子、信息、管理、数学等专业本科生必修课教材，也可供相关专业的研究人员、教师及图论工作者参考。

卢开澄、卢华明编著的《组合数学(第5版普通十一五规划)/计算机科学组合学丛书》是《组合数学(第4版)》的修订版，全书共分7章，分别是排列与组合、递推关系与母函数、容斥原理与鸽巢原理、Burnside引理与Polya定理、区组设计、编码简介和组合算法简介，丰富的实例及理论和实际相结合是本书一大特点，有利于对问题的深入理解。本书是计算机相关专业本科生和研究生的教学用书，也可作为数学专业师生的教学参考书。

本书是经典的离散数学教材，为全球多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法，内容涉及数学推理、组合分析、离散结构、算法思维以及应用与建模。全书取材广泛，除包括定义、定理的严密陈述外，还配备大量的实例和图表的说明、各种练习和题目以及丰富的历史资料和网站资源。第6版在前五版的基础上做了大量的改进，使其成为更有效的数学工具。本书可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。

本书共分六章，章线性代数概要与提高，总结了后续章节需要的线性方程组和矩阵的基本知识，给出了矩阵与线性方程组的几个应用实例；第二章矩阵与线性变换，讨论了子空间与直和分解及内积空间，详细研究了线性变换与矩阵的关系，简要介绍了构造新线性空间的几种方法，例举了子空间，正交性，线性变换，张量积等的应用；第三章特征值与矩阵的Jordan标准形，证明了Schur三角化定理与Cayley-Hamilton定理，给出了矩阵在相似变换下的最简形式即Jordan标准形，讨论了特征值估计的盖尔圆盘定理，介绍了特征值与特征向量在统计学和经济学中的一些应用。

本书结合大量应用和实例详细介绍线性代数的基本概念、基本定理与知识点，主要内容包括：矩阵与方程组、行列式、向量空间、线性变换、正交性、特征值和数值线性代数等。为巩固所学的基本概念和基本定理，书中每一节后都配有练习题，并在每一章后提供了MATLAB练习题和测试题。本书叙述简洁，通俗易懂，理论与应用相结合，适合作为高等院校本科生“线性代数”课程的教材，同时也可作为工程技术人员的参考书。

本书为丛书中的部，涵盖了初等数论的大部分内容，包括整除、同余、数论函数、二次剩余和原根等，此外也涉及有限域的基本知识。本书内容精炼扼要，习题丰富(不少比较新颖或具有难度)，另有5个录供读者进一步研究。

本书特色：

本书强调抽象的向量空间和线性映射, 内容涉及多项式、本征值、本征向量、内积空间、迹与行列式等. 本书在内容编排和处理方法上与通行的做法大不相同, 它完全抛开行列式, 采用更直接、更简捷的方法阐述了向量空间和线性算子的基本理论. 书中对一些术语、结论、数学家、证明思想和启示等做了注释, 不仅增加了趣味性, 还加强了读者对一些概念和思想方法的理解.

Many authoregin their preface by confidently describing how their book arose.We started this project so long ago， and our memories are so weak， that we could not do this truthfully.Otheregin by stating why they decided to write.Thanks to Freud， we know that unconscious reasons can be as important as conscious ones， and so this seems impossible， too.Moreover， the real question that should be addressed is why the reader should struggle with this text.

《工程数学基础教程》内容包括泛函分析、矩阵分析和数值科学计算三部分内容。主要介绍线性空间与线性算子、矩阵的相似标准形、赋范空间、有界线性算子与方阵范数、矩阵分析、内积空间与代数方程组的解法、插值法与数值逼近、数值积分与数值微分以及常微分方程的数值解法。同时，各章后面都配有大量的习题供学生选做或复习。

本书强调抽象的向量空间和线性映射,内容涉及多项式、本征值、本征向量、内积空间、迹与行列式等.本书在内容编排和处理方法上与通行的做法大不相同,它完全抛开行列式,采用更直接、更简捷的方法阐述了向量空间和线性算子的基本理论.书中对一些术语、结论、数学家、证明思想和启示等做了注释,不仅增加了趣味性,还加强了读者对一些概念和思想方法的理解.

本书从数学分析的角度论述矩阵分析的经典方法和现代方法，取材新，有的深度，并给出在多元微积分、复分析、微分方程、量优化、逼近理论中的许多重要应用。主要内容包括：特征值、特征向量和相似性，酉等价和正规矩阵，标准形，Hermite矩阵和对称矩阵，向量范数和矩阵范数，特征值和估计和扰动，正定矩阵，非负矩阵。

本书共分六章，章线性代数概要与提高，总结了后续章节需要的线性方程组和矩阵的基本知识，给出了矩阵与线性方程组的几个应用实例；第二章矩阵与线性变换，讨论了子空间与直和分解及内积空间，详细研究了线性变换与矩阵的关系，简要介绍了构造新线性空间的几种方法，例举了子空间，正交性，线性变换，张量积等的应用；第三章特征值与矩阵的Jordan标准形，证明了Schur三角化定理与Cayley-Hamilton定理，给出了矩阵在相似变换下的最简形式即Jordan标准形，讨论了特征值估计的盖尔圆盘定理，介绍了特征值与特征向量在统计学和经济学中的一些应用。