Logic and Discrete Mathematics: A Computer Science Perspective - Softcover

Grassmann, Winfried Karl; Tremblay, Jean-Paul

 
9780135012062: 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.

Synopsis

This text covers traditional topics of discrete mathematics - logic, sets, relations, functions, and graphs - and reflects recent trends in computer science. It covers logic reasoning and shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. It also contains chapters on language and grammars, and relational databases and describes Prolog and Miranda.

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.