1, Iteration, Induction and Recursion
2, the running time of program
3, combinatorics and probability
4, the tree data model
5, the list data model
6, the set data model
7, the relational data model
8, the graph data model
9, patterns, automata, and regular expression
10, recursive description of patterns
11, propositional logic
12, using logic to design computer components
13, predicate logic
FREE pdf online here.
Foundations of Computer Science
原文：http://www.cnblogs.com/miaoz/p/4215149.html