Discrete Mathematics Using a Computer / Edition 2

Discrete Mathematics Using a Computer / Edition 2

by John O'Donnell, Rex Page, Cordelia Hall
     
 

ISBN-10: 1846282411

ISBN-13: 9781846282416

Pub. Date: 07/10/2006

Publisher: Springer London

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…  See more details below

Overview

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.

Read More

Product Details

ISBN-13:
9781846282416
Publisher:
Springer London
Publication date:
07/10/2006
Edition description:
2nd ed. 2006
Pages:
441
Product dimensions:
9.21(w) x 6.14(h) x 0.94(d)

Table of Contents

Programming and Reasoning with Equations.- to Haskell.- Equational Reasoning.- Recursion.- Trees.- Logic.- Propositional Logic.- Predicate Logic.- Set Theory.- Set Theory.- Inductively Defined Sets.- Relations.- Functions.- Applications.- The AVL Tree Miracle.- Discrete Mathematics in Circuit Design.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >