[Book Cover]

Logic and Discrete Mathematics: A Computer Science Perspective, 1/e

Winfried Karl Grassmann
Jean-Paul Tremblay, both at the University of Saskatchewan

Published December, 1995 by Prentice Hall Engineering/Science/Mathematics

Copyright 1996, 750 pp.
Cloth
ISBN 0-13-501206-6


Sign up for future
mailings
on this subject.

See other books about:
    Discrete Mathematics-Computer Science

    Discrete Math-Mathematics


Summary

This text covers all the traditional topics of discrete mathematics — logic, sets, relations, functions, and graphs — and reflects recent trends in computer science.

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.


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.


[Help]

© Prentice-Hall, Inc. A Simon & Schuster Company
Comments To webmaster@prenhall.com