Mathematical Structures for Computer Science

Name: Mathematical Structures for Computer Science
Price: 17.76 USD
Availability: InStock
ISBN: 9780716768647

ISBN-10: 071676864X

ISBN-13: 9780716768647

Edition: 6th 2007 (Revised)

Authors: Judith L. Gersting

List price: $192.99

30 day, 100% satisfaction guarantee!

Marketplace

3 new & used from $17.76

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

This edition offers a pedagogically rich and intuitive introduction to discrete mathematics structures. It meets the needs of computer science majors by being both comprehensive and accessible.

Book details

List price: $192.99
Edition: 6th
Copyright year: 2007
Publisher: W. H. Freeman & Company
Publication date: 7/7/2006
Binding: Hardcover
Pages: 784
Size: 7.99" wide x 10.24" long x 1.44" tall
Weight: 3.674
Language: English



Preface


Note to the Student



Formal Logic



Statements, Symbolic Representation, and Tautologies



Propositional Logic



Quantifiers, Predicates, and Validity



Predicate Logic



Logic Programming



Proof of Correctness



Proofs, Recursion, and Analysis of Algorithms



Proof Techniques



Induction



More on Proof of Correctness



Recursive Definitions



Recurrence Relations



Analysis of Algorithms



Sets, Combinatorics, Probability, and Number Theory



Sets



Counting



Principle of Inclusion and Exclusion; Pigeonhole Principle



Permutations and Combinations



Probability



Binomial Theorem



Number Theory



Relations, Functions, and Matrices



Relations



Topological Sorting



Relations and Databases



Functions



The Mighty Mod Function



Matrices



Graphs and Trees



Graphs and their Representations



Trees and their Representations



Decision Trees



Huffman Codes



Graph Algorithms



Directed Graphs and Binary Relations; Warshall's Algorithm



Euler Path and Hamiltonian Circuit



Shortest Path and Minimal Spanning Tree



Traversal Algorithms



Articulation Points and Computer Networks



Boolean Algebra and Computer Logic



Boolean Algebra Structure



Logic Networks



Minimization



Modeling Arithmetic, Computation, and Languages



Algebraic Structures



Finite-State Machines



Turing Machines



Formal Languages


Appendixes



Derivation Rules for Propositional and Predicate Logic



Summation Notation



The Logarithm Function


Answers to Practice Problems


Answers to Selected Exercises


Answers to Self-Tests


Index