Logic and Discrete Mathematics: A Computer Science Perspective - Softcover

Grassman, Winfried Karl; Tremblay, Jean-Paul

 
9780132090087: Logic and Discrete Mathematics: A Computer Science Perspective

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.

"synopsis" may belong to another edition of 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.

"About this title" may belong to another edition of this title.