Skip to content

Mathematical Structures for Computer Science

ISBN-10: 071676864X

ISBN-13: 9780716768647

Edition: 6th 2007 (Revised)

Authors: Judith L. Gersting

List price: $192.99
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.
Customers also bought

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: 8.50" wide x 10.50" long x 2.00" tall
Weight: 3.960

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