Logic and Discrete Mathematics A Computer Science Perspective

Name: Logic and Discrete Mathematics A Computer Science Perspective
Price: 5.7 USD
Availability: InStock
ISBN: 9780135012062

ISBN-10: 0135012066

ISBN-13: 9780135012062

Edition: 1996

Authors: Winfried Karl Grassmann, Jean-Paul Tremblay

List price: $198.60

30 day, 100% satisfaction guarantee!

Marketplace

3 new & used from $5.70

what's this?

Rush Rewards U
Members Receive:

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

Description:

This book covers all the traditional topics of discrete mathematics—logic, sets, relations, functions, and graphs—and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. DescribesProlog, a programming language based on logic, and a section onMiranda,language bad on functions. Featuresnumerous exampleswhich relate the mathematical concepts to problems in computer science.

Book details

List price: $198.60
Copyright year: 1996
Publisher: Prentice Hall PTR
Publication date: 12/18/1995
Binding: Paperback
Pages: 770
Size: 7.50" wide x 9.75" long x 1.25" tall
Weight: 2.794
Language: English




Propositional Calculus



Predicate Calculus



Induction and Recursion



Prolog



Sets and Relations



More About Functions



Graphs And Trees



Formal Requirement Specification in Z



Program Correctness Proofs



Grammars, Languages, and Parsing



Derivations



An Overview of Relational Database Systems


Bibliography


Solutions to Even-numbered Problems


Index