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

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

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

This%26nbsp;book，or%26nbsp;parts%26nbsp;thereof，may%26nbsp;not%26nbsp;be%26nbsp;reproduc

本书是本科大学生数学竞赛辅导书，可供自学使用，也可用于竞赛培训。书中通过典型例题的精解来梳理重点方法，同时穿插介绍一些有普遍性的解题技巧，题解后的总结和讨论使方法更系统和实用。本书的例题精选自国内外各

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

本书是一本的现代教材，给出新的线性代数基本介绍和一些有趣应用，目的是帮助学生掌握线性代数的基本概念及应用技巧，为后续课程的学习和工作实践奠定基础。主要内容包括线性方程组、矩阵代数、行列式、向量空间、特征值与特征向量、正交性和小二乘法、对称矩阵和二次型、向量空间的几何学等。此外，本书包含大量的练习题、习题、例题等，便于读者参考。

本书通过实例介绍了常用的初级数学建模方法，包括预测预报方法（回归分析、信息时间传递、马尔可夫链、灰色系统、神经网络预测）、关联分析方法（简单相关系数、偏相关系数、通径分析、典型相关分析、主成分分析、斯皮尔曼等级相关系数、独立性检验）、综合评价与决策方法（模糊综合评价、主成分综合评价、因子分析、层次分析法、灰色关联、方差分析）、分类与判别方法（模糊聚类分析、系统聚类、动态聚类、模糊模式识别、贝叶斯判别）以及数学规划方法等。全书注重数学建模思想介绍，重视数学软件MATLAB、LING在实际中的应用。全书案例丰富，通俗易懂，便于自学。

如今科学工程项目越来越大、越来越复杂，许多项目都采用C 编程语言来完成。本书深入介绍了基于C 编程语言高级功能的复杂方法，旨在帮助您快速入门，实现如表达式模板之类的高级技术。您还将学习如何使用C 编程语言的强大类库：标准模板库（STL）以及用于算法、线性代数、微分方程、图形的科学类库。书中演示了如何使用面向对象、泛型编程、元编程和过程技术来编写清晰明了、富有表达力的软件。当您学完本书，将掌握如何使用C 编程语言来编写高质量、高性能的软件。

《数字、代数和图象（全彩）》内容简介：数学的起源是数字，理解数字的工作原理是认识数学这门学科的关键。这本书展示了现代计数系统是如何形成的、算术是如何工作的、分数如何改变我们使用数字的能力，以及底数和幂如何使数字这一工具变得 加强大。在这本书中，你将感受到，以数字、代数和图象描述世界的能力是我们理解现实世界的核心。

本书以C作为工具语言，通过大量实例，详细介绍了基本程序设计的思想和技术。全书语言简练，图示有助于理解，围绕着学生常常关注的问题进行讲解，强调问题的分析和讨论，意在帮助读者认识程序设计的实质，理解从问题到程序的思考过程。本书适合作为高等院校计算机及相关专业门程序设计课程的教材，也可供其他学习C程序设计的读者自学使用。