Logic and Discrete Mathematics: A Computer Science Perspective - Couverture souple

Grassmann, Winfried Karl; Tremblay, Jean-Paul

 
9780135012062: Logic and Discrete Mathematics: A Computer Science Perspective
Couverture souple
ISBN 10 : 0135012066 ISBN 13 : 9780135012062
Editeur : Pearson, 1996

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Pearson
Date d'édition
1996
Langue
anglais
ISBN 10 
0135012066
ISBN 13 
9780135012062
Reliure
Broché
Nombre de pages
776
Coordonnées du fabricant
non disponible
Personne responsable
Riccardo Bacigalupo
riccardo.bacigalupo@sanoma.it

Sanoma Italia Via Arconati, 1 �
Milano
20135
Italie