Normal view MARC view ISBD view

Mathematical structures for computer science a modern approach to discrete mathematics Judith L. Gersting.

By: Gersting, Judith L .

| Mathematical models

| Computer science -- Mathematics

| Ciencia de la computación -- Matemáticas

| Modelos matematicos

| Matematicas

DDC classification: 004.0151 Online resources: Publisher description | Table of contents only

Contents:

Preface -- Note to the Student -- 1. Formal Logic -- 2. Proofs, Recursion, and Analysis of Algorithms -- 3. Sets, Combinatorics, Probability, and Number Theory -- 4. Relations, Functions, and Matrices -- 5. Graphs and Trees -- 6. Graph Algorithms -- 7. Boolean Algebra and Computer Logic -- 8. Modeling Arithmetic, Computation, and Languages -- Appendixes -- Appendix A Derivation Rules for Propositional and Predicate Logic -- Appendix B Summation Notation -- Appendix C The Logarithm Function -- Answers to Practice Problems -- Answers to Selected Exercises -- Answers to Self-Tests -- Index

Tags from this library: No tags from this library for this title. Log in to add tags.