Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer by John O'Donnell, Cordelia Hall, Rex Page.

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 pract...

Full description

Saved in:

Bibliographic Details
Main Authors:	O'Donnell, John (Author), Hall, Cordelia (Author), Page, Rex (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint: Springer, 2006.
Edition:	2nd ed. 2006.
Series:	Springer eBook Collection.
Subjects:	Computer science—Mathematics. Mathematical logic. Algorithms. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Discrete Mathematics Using a Computer
by: Hall, Cordelia, et al.
Published: (2000)

Mathematics of Discrete Structures for Computer Science
by: Pace, Gordon J.
Published: (2012)

Mathematical Foundations of Computer Science 1990 Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Published: (1990)

Mathematical Foundations of Computer Science 1989 Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Published: (1989)

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
by: O'Regan, Gerard
Published: (2016)

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings
Published: (2009)

Computational Discrete Mathematics Advanced Lectures
Published: (2001)

Practical Use of Mathcad® Solving Mathematical Problems with a Computer Algebra System
by: Benker, Hans
Published: (1999)

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings
Published: (2011)

Problems and Exercises in Discrete Mathematics
by: Gavrilov, G.P, et al.
Published: (1996)

Logic, Language, Information, and Computation
Published: (2012)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings
Published: (2013)

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings
Published: (2010)

Algorithms and discrete applied mathematics : 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021, proceedings
Published: (2021)

Algorithms and discrete applied mathematics : 8th international conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings
Published: (2022)

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Published: (2012)

Computer Science -- Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings
Published: (2012)

Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
Published: (2011)

A Beginner’s Guide to Discrete Mathematics
by: Wallis, W.D
Published: (2003)

A Beginner's Guide to Discrete Mathematics
by: Wallis, W.D
Published: (2012)

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Published: (2011)

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Published: (2015)

Algorithms and discrete applied mathematics : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, proceedings
Published: (2023)

The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Published: (2013)

How to guard an art gallery and other discrete mathematical adventures
by: Michael, T. S., 1960-
Published: (2009)

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Published: (2009)

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings
Published: (2011)

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Published: (2011)

Artificial Intelligence and Symbolic Mathematical Computation International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Published: (1996)

Mathematical Foundations of Computer Science 1986 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings
Published: (1986)

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
by: O’Regan, Gerard
Published: (2013)

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Published: (2019)

The Pillars of Computation Theory State, Encoding, Nondeterminism
by: Rosenberg, Arnold L.
Published: (2010)

Mathematics for Computer Algebra
by: Mignotte, Maurice
Published: (1992)

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Published: (2016)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
Published: (2009)

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Published: (2017)

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Published: (2011)

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Published: (2013)

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Published: (2012)