Logic and Discrete Mathematics: A Computer Science Perspective - Softcover

Grassman, Winfried Karl; Tremblay, Jean-Paul

Softcover

ISBN 10: 0132090082 ISBN 13: 9780132090087

Publisher: Pearson Education (US), 1995

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.

About this title

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.

Edition details

• Publisher: Pearson Education (US)
• Publication date: 1995
• Language: English
• ISBN 10: 0132090082
• ISBN 13: 9780132090087
• Binding: Paperback