Normal view MARC view ISBD view

Mathematical structures for computer science / Judith L. Gersting.

By: Gersting, Judith L.
Material type: TextTextPublisher: New York : Computer Science Press, c1993Edition: 3rd ed.Description: xxiv, 757 p. : ill. (some col.) ; 25 cm.ISBN: 0716782596; 9780716782599.Subject(s): Mathematics | Mathematical models | Computer science -- MathematicsDDC classification: 004.0151 Online resources: WorldCat details
Contents:
Table of contents 1. Formal Logic -- 2. Proofs, Recursion, and Analysis of Algorithms -- 3. Sets and Combinatorics -- 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Copy number Status Date due Barcode Item holds
Text Text EWU Library
Reserve Section
Non-fiction 004.0151 GEM 1993 (Browse shelf) C-1 Not For Loan 2380
Total holds: 0

Mathematical Structuresfor Computer Science has long been a leading textbook in its field. In this latest edition, judith Gersting takes a fresh new approach to communicating the often elusive concepts of discrete mathematics-one that is particularly appropriate for beginning students of computer science. Thoroughly revised and streamlined the book now homes in on the fundamentals of discrete mathematics, providing clear explanations of basic topics such as predicate logic, program verification, and recursion. It features a number of new examples and applications that todav's computer science student will find particularly relevant and fascinating. Numerous new computer exercises, study aids, and 'practice problems' that help reinforce understanding through laboratory-srvle experimentation have been added. New for this edition: Expanded treatment of predicate logic. Expanded discussion of recursion. Fuller treatment of program verification. New systematic solution strategies for certain tv es of recurrence relations. Thorough coverage of complete induction. Discussions of set implementations in programming languages, object-oriented programming, and relational database operations. Separate sections on inclusion/exclusion and the pigeonhole principle. New coverage of entity/relationship database design and topological sorting-* Additional graph theory algorithms. An instructor's manual is also available.

Includes index.

Table of contents 1. Formal Logic --
2. Proofs, Recursion, and Analysis of Algorithms --
3. Sets and Combinatorics --
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

Computer Science & Engineering

There are no comments for this item.

Log in to your account to post a comment.

Click on an image to view it in the image viewer

Library Home | Contacts | E-journals
Copyright @ 2011-2019 EWU Library
East West University