Logic and discrete mathematics : a computer science perspective / Winfried Karl Grassmann, Jean-Paul Tremblay.
By: Grassmann, Winfried K.
Contributor(s): Tremblay, Jean-Paul.
Material type:
BookPublisher: New Delhi : Pearson Publisher, 2013Description: xviii, 750 p. ; ill.ISBN: 9788131714386.Subject(s): Computer science | Computer science--MathematicsDDC classification: 005.1015113 K184L 2013 Summary: This book covers all the traditional topics of discrete mathematics—logic, sets, relations, functions, and graphs—and reflects recent trends in computer science. Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
Information Technology University, Lahore General Stacks | 005.1015113 K184L 2013 (Browse shelf) | Available | 001674 |
Includes bibliographical index.
This book covers all the traditional topics of discrete mathematics—logic, sets, relations, functions, and graphs—and reflects recent trends in computer science. Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
There are no comments for this item.