Discrete Mathematics for Computer Science (with Student Solutions Manual CD-ROM)

Haggard, Gary; Schlipf, John; Whitesides, Sue

ISBN 10: 053449501X / ISBN 13: 9780534495015

Published by Cengage Learning, 2005

About this Item

Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Seller Inventory # ZBV.053449501X.VG

Bibliographic Details

• Title: Discrete Mathematics for Computer Science (with Student Solutions Manual CD-ROM)
• Publisher: Cengage Learning
• Publication Date: 2005
• Language: English
• ISBN 10: 053449501X
• ISBN 13: 9780534495015
• Binding: Hardcover
• Condition: very_good

About this title

Synopsis

An increasing number of computer scientists from diverse areas are using discrete mathematical structures to explain concepts and problems. Based on their teaching experiences, the authors offer an accessible text that emphasizes the fundamentals of discrete mathematics and its advanced topics. This text shows how to express precise ideas in clear mathematical language. Students discover the importance of discrete mathematics in describing computer science structures and problem solving. They also learn how mastering discrete mathematics will help them develop important reasoning skills that will continue to be useful throughout their careers.

About the Authors

Gary Haggard is Professor of Computer Science at Bucknell University. His research in data structures focuses on the implementation of effective algorithms for computing invariants for large combinatorial structures such as graphs. Dr. Haggard¿s current work is directed towards finding chromatic polynomials of large graphs.

John Schlipf is a Professor of Computer Science in the Department of Electrical and Computer Engineering and Computer Science at the University of Cincinnati. His research interests include logic programming and deductive databases, algorithms for satisfiability, computability and complexity, formal verification, and model theory.

Sue Whitesides is Professor of Computer Science at McGill University. She holds a Ph.D. from University of Wisconsin and a Masters from Stanford University. Her research interests lie within combinatorial mathematics and theoretical computer science.