Home > Store

Logic and Discrete Mathematics: A Computer Science Perspective

Register your product to gain access to bonus material or receive a coupon.

Logic and Discrete Mathematics: A Computer Science Perspective

Book

  • Your Price: $168.81
  • List Price: $198.60
  • Usually ships in 24 hours.

About

Features

  • gives a more thorough exposure to logic reasoning than most other texts.
  • shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way.
  • contain chapters on language and grammars, and relational database.
  • describes Prolog, a programming language based on logic, and a section on Miranda, language based on functions.
  • features numerous examples which relate the mathematical concepts to problems in computer science.

Description

  • Copyright 1996
  • Dimensions: 7 X 9 1/4
  • Pages: 750
  • Edition: 1st
  • Book
  • ISBN-10: 0-13-501206-6
  • ISBN-13: 978-0-13-501206-2

This book covers all the traditional topics of discrete mathematics—logic, sets, relations, functions, and graphs—and reflects recent trends in computer science.KEY TOPICS:Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.

Sample Content

Table of Contents



 1. Propositional Calculus.


 2. Predicate Calculus.


 3. Induction and Recursion.


 4. Prolog.


 5. Sets and Relations.


 6. More About Functions.


 7. Graphs And Trees


 8. Formal Requirement Specification in Z.


 9. Program Correctness Proofs.


10. Grammars, Languages, and Parsing.


11. Derivations.


12. An Overview of Relational Database Systems.


Bibliography.


Solutions to Even-numbered Problems.


Index.

Updates

Submit Errata

More Information

Unlimited one-month access with your purchase
Free Safari Membership