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

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

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

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

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

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

本书特色：

本书包含了组合数学的基本内容与方法：抽屉原则、排列组合、容斥原理、生成函数、匹配、组合设计。本书写作力求简练。若干难度不大，且有利于读者掌握知识方法的证明写得很简略，希望读者能通过的独立思考掌握组合数学的内涵。

《高等代数探究性课题精编》包括43个高等代数探究性课题，这些课题背景丰富（素材取自于外有关资料），结论深刻有趣，题材涉及高等代数的方方面面，对各课题不过分强调技巧难度，都可以从不同层次进行探究。对每个课题都先简要阐明其背景、目的和意义，然后提出本课题的“中心问题”，让读者围绕某个中心问题自主探究。书中采用问题链的形式，给读者以启发、引导，帮助他们明晰探究思路。每个问题都附有详尽的解答，各课题中还设置探究题，以丰富探究性的层次。通过对课题的探究，可以让读者尝试数学研究的过程，获得数学创造的体验，提高不断深造的能力和创造能力，并拓宽知识视野，加深对数学本质的理解。

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

《现代数学基础·伽罗瓦理论：天才的激情》是一本专门讲述伽罗瓦理论的教材。内容包括伽罗瓦理论基本定理和多项式方程的根式可解性、伽罗瓦群的计算及其反问题，《现代数学基础·伽罗瓦理论：天才的激情》强调通过伽罗瓦对应，可将代数数域中的问题转化成群论的问题加以解决。作为这种思想的应用，证明了代数基本定理，解决了e和π的性及尺规作图的四大古代难题。为方便读者查阅，附录中详细梳理了所要用到的群、环、域方面的结论。每节配有充足的习题并包含提示。《现代数学基础·伽罗瓦理论：天才的激情》可作为高等学校数学类各专业的教材，也可供其他相关专业参考。

丛书（第6辑）：代数多项式》介绍了怎样应用对称条件解方程组及不等式，所有这些问题的解答都使用基于对称多项式定理的公式。 《 丛书（第6辑）：代数多项式》适合于准备参加竞赛的中学生、师范学院的学生和数学教师及数学爱好者阅读。

《(数学中的小问题大定理)丛书(第六辑):数论三角形》由麦比乌斯带联想，从正多棱柱体两端扭转相接的面数规律导出数字直角三角形，兼与贾宪三角形比较，阐述它的数字排式与性质，其中涉及初等数论中的许多内容。《(数学中的小问题大定理)丛书(第六辑):数论三角形》适合于大、中师生以及数学爱好者阅读参考。

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

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