Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009045118/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog abstract ""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.".
- catalog contributor b12722693.
- catalog contributor b12722694.
- catalog created "c2000.".
- catalog date "2000".
- catalog date "c2000.".
- catalog dateCopyrighted "c2000.".
- catalog description ""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.".
- catalog description "1. Introduction to Haskell -- 2. Propositional Logic -- 3. Predicate Logic -- 4. Set Theory -- 5. Recursion -- 6. Inductively Defined Sets -- 7. Induction -- 8. Relations -- 9. Functions -- 10. Discrete Mathematics in Circuit Design -- A. Software Tools for Discrete Mathematics -- B. Resources on the Web -- C. Solutions to Selected Exercises.".
- catalog description "Includes bibliographical references (p. 331-332) and index.".
- catalog extent "xviii, 339 p. :".
- catalog identifier "1852330899 (alk. paper)".
- catalog issued "2000".
- catalog issued "c2000.".
- catalog language "eng".
- catalog publisher "London ; New York : Springer,".
- catalog subject "510/.285 21".
- catalog subject "Mathematics Data processing.".
- catalog subject "QA76.95 .H35 2000".
- catalog tableOfContents "1. Introduction to Haskell -- 2. Propositional Logic -- 3. Predicate Logic -- 4. Set Theory -- 5. Recursion -- 6. Inductively Defined Sets -- 7. Induction -- 8. Relations -- 9. Functions -- 10. Discrete Mathematics in Circuit Design -- A. Software Tools for Discrete Mathematics -- B. Resources on the Web -- C. Solutions to Selected Exercises.".
- catalog title "Discrete mathematics using a computer / Cordelia Hall and John O'Donnell.".
- catalog type "text".