麻省理工学院的电子书：Mathematics for Computer Science《计算机科学数学》，

courses.csail.mit.edu/6.042/spring18/mcs.pdf

《数学基础》是由 Eric Lehman、F Thomson Leighton 和 Albert R Meyer 合著的一本教科书，它详细介绍了数学的基本概念和方法，适用于计算机科学领域的学习和研究。书中首先介绍了数学证明的基础。接着，它深入探讨了数学归纳法，包括普通归纳法和强归纳法，以及它们在计算机科学中的应用。此外，书中还涉及了数学结构，如集合、序列、函数、关系和无穷集等概念。还讲解了图论、网络流、计算复杂性、算法复杂性和 NP 完全性等高级主题。最后，它还包括了概率论的基础，介绍了随机变量、条件概率、贝叶斯定理和随机过程等概念。