Logic and Discrete Mathematics: A Computer Science Perspective

Grassman, Winfried Karl; Tremblay, Jean-Paul

ISBN 10: 0132090082 / ISBN 13: 9780132090087

Published by Pearson Education (US), 1995

About this Item

Some shelf wea and creasing, spine faded. Pages unmarked.

Seller Inventory # S5 30

Bibliographic Details

• Title: Logic and Discrete Mathematics: A Computer Science Perspective
• Publisher: Pearson Education (US)
• Publication Date: 1995
• Language: English
• ISBN 10: 0132090082
• ISBN 13: 9780132090087
• Binding: Soft cover
• Condition: Good
• Weight: 1075 grams
• Seller catalogs:
  • Philip

About this title

Synopsis

For one/two-semester, sophomore-level courses in Discrete Mathematics.

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

From the Back Cover

This textbook teaches proposition calculus, predicate calculus, induction and recursion, prolog, sets and relations, functions, graphs and trees, formal requirement specification in Z, program correctness proofs, grammars, languages, and parsing, derivations, and an overview of relational database systems.