…that I remember off the top of my head: Intro to CS: SICP (1979) Algorithms/data structures: CLRS (1989) Theory of computation: Sipser (1996) Compilers: Dragon book (1986) Calculus: Spivak (1967) Linear Algebra: Dover's by Shilov (1971) The given year is for the first publication, some of them are still being updated and I probably read a newer edition.
……幸运的是，你可以在学数学基础的同时学会证明定理。你最先该啃的书是 Walter Rudin 的《Principles of Mathematical Analysis》和 Georgi Shilov 的《Linear Algebra》。这会很难，不是因为什么随意的原因，而是因为把新数学吸收进脑子里本身就很难，尤其是刚开始。如果可能的话，试着找……
…Fortunately, you can learn to prove theorems at the same time as learning the foundations of math. The first books you should work through are "Principles of Mathematical Analysis" by Walter Rudin, and "Linear Algebra" by Georgi Shilov. This will be hard, not for an arbitrary reason, but because assimilating new math into your brain is intrinsically difficult, especially at the beginning. If possible, try to find…
……我随手能想起来的：计算机导论：SICP（1979）算法/数据结构：CLRS（1989）计算理论：Sipser（1996）编译器：龙书（1986）微积分：Spivak（1967）线性代数：Dover 出的 Shilov 版（1971）给的年份是初版年份，有些还在更新，我读的可能是更新的版本。
…that I remember off the top of my head: Intro to CS: SICP (1979) Algorithms/data structures: CLRS (1989) Theory of computation: Sipser (1996) Compilers: Dragon book (1986) Calculus: Spivak (1967) Linear Algebra: Dover's by Shilov (1971) The given year is for the first publication, some of them are still being updated and I probably read a newer edition.
……幸运的是，你可以在学数学基础的同时学会证明定理。你最先该啃的书是 Walter Rudin 的《Principles of Mathematical Analysis》和 Georgi Shilov 的《Linear Algebra》。这会很难，不是因为什么随意的原因，而是因为把新数学吸收进脑子里本身就很难，尤其是刚开始。如果可能的话，试着找……
…Fortunately, you can learn to prove theorems at the same time as learning the foundations of math. The first books you should work through are "Principles of Mathematical Analysis" by Walter Rudin, and "Linear Algebra" by Georgi Shilov. This will be hard, not for an arbitrary reason, but because assimilating new math into your brain is intrinsically difficult, especially at the beginning. If possible, try to find…