Foundations of computer science /
Aho, Alfred V.
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
0716782847
Computer science.
C (Computer program language)
004 / A2869
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
0716782847
Computer science.
C (Computer program language)
004 / A2869