***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality.

N� de ref. del art�culo 4030080

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Discrete Mathematics Using a Computer
Editor: Springer
Fecha de publicaci�n: 2006
Idioma: Ingl�s
ISBN 10: 1846282411
ISBN 13: 9781846282416
Encuadernaci�n: Paperback
Edici�n: 2� Edici�n
Estado: Used; Good

Acerca de

Sinopsis

Computer science abounds with applications of discrete mathematics, yet s- dents of computer science often study discrete mathematics in the context of purely mathematical applications. They have to ?gure out for themselves how to apply the ideas of discrete mathematics to computing problems. It is not easy. Most students fail to experience broad success in this enterprise, which is not surprising, since many of the most important advances in science and engineeringhavebeen, precisely, applicationsofmathematicstospeci?cscience and engineering problems. Tobesure,mostdiscretemathtextbooksincorporatesomeaspectsapplying discrete math to computing, but it usually takes the form of asking students to write programs to compute the number of three-ball combinations there are in a set of ten balls or, at best, to implement a graph algorithm. Few texts ask students to use mathematical logic to analyze properties of digital circuits or computer programs or to apply the set theoretic model of functions to understand higher-order operations. A major aim of this text is to integrate, tightly, the study of discrete mathematics with the study of central problems of computer science.

De la contraportada

Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a practical approach that provides students with instant feedback and allows lecturers to monitor progress easily.

This second edition of the successful textbook contains significant additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, as well as a new chapter showing how a mathematical approach can be used to motivate AVL trees, an important and complex data structure.

Designed for 1st and 2nd year undergraduate students, the book is also well suited for self-study. No prior knowledge of functional programming is required; everything the student needs is either provided or can be picked up easily as they go along.

Key features include:

• Numerous exercises and examples

• A web page with software tools and additional practice problems, solutions, and explanations, as well as course slides

• Suggestions for further reading

Complete with an accompanying instructor's guide, available via the web, this volume is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters and Formal Methods courses.

Visit the book’s Web page at: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Brit Books Ltd
35 Burners Lane, Kiln Farm, Milton Keynes, MK11 3HA, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Brit Books endeavours to provide each and every customer with an excellent
shopping experience, backed by our customer satisfaction guarantee.
* Brit Books Ltd

* P. O. Box 7567 Milton Keynes MK11 9GE

* customercare@britbooks.co.uk, tel. 01908 262375

* Brit Books Ltd P. O. Box 7567 Milton Keynes MK11 9GE

* Company Reg. 06809965, Vat. GB972432513

* Company Rep: Celeste Milon