Foundations of Computer Science(英文版)

Tree, List, Set, Graph, Relational date structure, Recursive description Automata, Regular Expression, Propositional Logic, Predicate Logic.