关于矩阵的一本书籍，非常有用，英文版的。。。。。。。。

离散数学课文

Sequencer——纯算法数字序列识别 音序器识别数字序列。 也就是说，给定一个数字列表，如 (a(n)) = 1, 2, 4, 8, 16, 32, ... 在这种情况下，它会找到一个生成它们的公式 a(n) = 2^(n-1) Sequencer 既不使用序列库，也不使用一组有限的算法来查找封闭形式。 相反，它会生成特定大小的所有公式，然后根据提供的数字检查它们。 对于验证，该系统使用混合方法，即快速数字检查器后跟由计算机代数系统驱动的符号验证器。 结合一些旨在快速生成潜在有趣公式的技巧和启发式方法，Sequencer 可以在商品硬件上运行时在几秒钟内识别具有非常复杂的封闭形式的序列。 Sequencer 能够找到超出任何现有系统（如 、 和封闭形式。 在涉及递推关系或不寻常的函数组合时，它尤其强大。 例如，上面提到的任何服务目前都无法理解序列 (a(n)) = 1, 1,

discrete mathematics with applications 4th edition susanna epp

The Princeton Companion to Applied Mathematics

Bertrand Russell, in his book The Principles of Mathematics, proposes the following as a definition of pure mathematics. Pure Mathematics is the class of all propositions of the form “p implies q,” where p and q are propositions containing one or more variables, the same in the two propositions, and neither p nor q contains any constants except logical constants. And logical constants are all notions definable in terms of the following: Implication, the relation of a term to a class of which it is a member, the notion of such that, the notion of relation, and such further notions as may be involved in the general notion of propositions of the above form. In addition to these, mathematics uses a notion which is not a constituent of the propositions which it considers, namely the notion of truth. The Princeton Companion to Mathematics could be said to be about everything that Russell’s definition leaves out. Russell’s book was published in 1903, and many mathematicians at that time were preoccupied with the logical foundations of the subject. Now, just over a century later, it is no longer a new idea that mathematics can be regarded as a formal system of the kind that Russell describes, and today’s mathematician is more likely to have other concerns. In particular, in an era where so much mathematics is being published that no individual can understand more than a tiny fraction of it, it is useful to know not just which arrangements of symbols form grammatically correct mathematical statements, but also which of these statements deserve our attention. Of course, one cannot hope to give a fully objective answer to such a question, and different mathematicians can legitimately disagree about what they find interesting. For that reason, this book is far less formal than Russell’s and it has many authors with many different points of view. And rather than trying to give a precise answer to the question, “What makes a mathematical statement interesting?” it simply aims to

Fixed point signal processing　非常好

【2018新书】Engineering mathematics with MATLAB（基于MATLAB的工程数学）

本书详细介绍了数学的各个分支。对于有需要了解数学方法的程序员有很大的帮助。

What is mathematics An Elementary Approach to Ideas and Methods