CMU 15-313 软件工程基础

主要的参考教材是《纯数学的无穷递降An infinite descent into pure mathematics》，这本书没有中文版，英文版下载链接如下。这本书有600多页，书名虽然听起来很高大上，但是内容却很简单，国内高中数学的难度。备选的书籍有《Everything You Always Wanted To Know About Mathematics》以及《Mathematical Thinking: Problem-Solving and Proofs》。