TY  - BOOK
AU  - Gersting,Judith L.
TI  - Mathematical structures for computer science
SN  - 0716743582
U1  - 004.0151 
PY  - 2003///
CY  - N. Y.
PB  - W.H. Freeman
KW  - Computer science
KW  - Mathematics
KW  - Mathematical models
N1  - Preface.  - Note to the student.  - 1.  Formal logic.  - 2.  Proofs, recursion, and analysis of algorithms. - 3.  Sets, combinatorics, and probability.  - 4.  Relations, functions, and matrices.  - 5.  Graphs and trees.  - 6.  Graph algorithms.  - 7.  Boolean algebra and computer logic.  - 8.  Modeling arithmetic, computation, and languages.  - Appendix A. Summation notation.  - Appendix B.  The logarithm function.  - Answers to practice problems.  - Answers to selected exercises.  - Answers to self-tests. - Index
ER  -