Logic and Discrete Mathematics: A Computer Science Perspective - Softcover

Winfried, Grassmann; Jean-Paul, Tremblay

 
9780135012062: Logic and Discrete Mathematics: A Computer Science Perspective
Softcover
ISBN 10: 0135012066 ISBN 13: 9780135012062
Verlag: Financial Times Prentice Hall, 1996

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Financial Times Prentice Hall
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0135012066
ISBN 13 
9780135012062
Einband
Tapa blanda
Anzahl der Seiten
776
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Riccardo Bacigalupo
riccardo.bacigalupo@sanoma.it

Sanoma Italia Via Arconati, 1 �
Milano
20135
Italien