MARC Record from harvard_bibliographic_metadata

LEADER: 02061cam a2200265 a 4500
001 009045118-X
005 20030224112213.0
008 990322s2000 enka b 001 0 eng
010 $a 99026380
020 $a1852330899 (alk. paper)
035 0 $aocm41070963
040 $aDLC$cDLC$dDLC
050 00 $aQA76.95$b.H35 2000
082 00 $a510/.285$221
100 1 $aHall, Cordelia,$d1955-
245 10 $aDiscrete mathematics using a computer /$cCordelia Hall and John O'Donnell.
260 $aLondon ;$aNew York :$bSpringer,$cc2000.
300 $axviii, 339 p. :$bill. ;$c24 cm.
504 $aIncludes bibliographical references (p. 331-332) and index.
505 00 $g1.$tIntroduction to Haskell --$g2.$tPropositional Logic --$g3.$tPredicate Logic --$g4.$tSet Theory --$g5.$tRecursion --$g6.$tInductively Defined Sets --$g7.$tInduction --$g8.$tRelations --$g9.$tFunctions --$g10.$tDiscrete Mathematics in Circuit Design --$gA.$tSoftware Tools for Discrete Mathematics --$gB.$tResources on the Web --$gC.$tSolutions to Selected Exercises.
520 1 $a"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, a simple functional language 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." "Designed for 1st and 2nd year undergraduate students it is ideally suited to 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." "Complete with an accompanying instructor's guide, available via the WWW, this volume is intended as the primary teaching text on Discrete Mathematics courses but will also provide useful reading for Conversion Masters and Formal Methods courses."--Jacket.
650 0 $aMathematics$xData processing.
700 1 $aO'Donnell, John,$d1952-
988 $a20030224
906 $0DLC