Logic and Discrete Mathematics: A Computer Science Perspective - Tapa blanda

Winfried, Grassmann; Jean-Paul, Tremblay

 
9780135012062: Logic and Discrete Mathematics: A Computer Science Perspective

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Contraportada

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.

"Sobre este título" puede pertenecer a otra edición de este libro.