Logic and discrete mathematics : a computer science perspective / Winfried Karl Grassmann, Jean-Paul Tremblay.

By:

Grassmann, Winfried Karl

Contributor(s):

Tremblay, Jean-Pa

Material type:

TextPublication details: [S.l.] : Prentice Hall, 1995.Edition: 1st edDescription: 750 p. ; 23 cmISBN:

0135012066 (hardcover)
9780135012062 (hardcover)

Online resources:

Amazon.com

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 scien

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Book	Air University Central Library Islamabad Computer Science	NFIC	005.1015113 GRA (Browse shelf(Opens below))	Available	P1578

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 scien

There are no comments on this title.

to post a comment.