Foundations of computer science /
Alfred V. Aho, Jeffrey D. Ullman.
- C ed.
- Islamabad : NBF, 1995
- xiii, 786 p. : ill. ; 26 cm.
the mechanization of abstraction; iteration, induction and recursion; the running time of programs; combinatorics and probability; the tree data model; the list data model; the set data model; the relational data model; the graph data model; patterns, automata and regular expressions; recursive description of patterns; propositional logic; using logic to design computer components; predicate logic