Discrete Mathematics using a Computer

By:

O'Donnell, John

Contributor(s):

Material type: Text

TextPublication details: London Springer-Verlag 2006Edition: 2nd edDescription: 441pISBN:

9781846282416

Subject(s):

Computer Engineering

DDC classification:

510.285 ODO

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	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	7th Floor Silence Zone	Reference	510.285 ODO (Browse shelf(Opens below))	Not For Loan		T0032941

Total holds: 0

Part - 1: Programming and Reasoning with Equations Introduction to Haskell Equational Reasoning Recursion Induction Trees Part - 2: Logic Propositional Logic Predicate Logic Part - 3: Set Theory Inductively Defined Sets Relations Functions Applications Discrete Mathematics in Circuit Design A : Software Tools B : Resources on the Web C : Solutions to Selected Exercises

There are no comments on this title.

to post a comment.