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.