This text explains how to use mathematical models and methods to analyze
problems that arise in computer science. Topics covered includes: Proofs , The Well
Ordering Principle, Logical Formulas, Mathematical Data Types, Induction,
Recursive Data Types, Infinite Sets, Structures, Number Theory, Directed graphs
and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs,
Counting.
Author(s): Eric Lehman, F Thomson Leighton and Albert R
Meyer
1006Pages