Discrete Mathematics Using a Computer
Seiten
2000
Springer London Ltd (Verlag)
978-1-85233-089-7 (ISBN)
Springer London Ltd (Verlag)
978-1-85233-089-7 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Offers a approach to teaching Discrete Mathematics. This volume uses a functional language to allow students to experiment with mathematical notations. It provides students with instant feedback and also allows lecturers to monitor progress. It also includes an Instructors guide, to help lecturers adapt existing courses.
This volume offers a new, "hands-on" approach to teaching Discrete Mathematics. A simple functional language is used to allow students to experiment with mathematical notations, which are traditionally difficult to pick up. This practical approach provides students with instant feedback and also allows lecturers to monitor progress easily. All the material needed to use the book will be available via ftp (the software is freely available and runs on Mac, PC and Unix platforms), including a special module which implements the concepts to be learned. No prior knowledge of Functional Programming is required: apart from List Comprehension (which is comprehensively covered in the text), everything the students need is either provided for them, or can be picked up easily as they go along. An Instructors Guide will also be available on the web, to help lecturers adapt existing courses.
This volume offers a new, "hands-on" approach to teaching Discrete Mathematics. A simple functional language is used to allow students to experiment with mathematical notations, which are traditionally difficult to pick up. This practical approach provides students with instant feedback and also allows lecturers to monitor progress easily. All the material needed to use the book will be available via ftp (the software is freely available and runs on Mac, PC and Unix platforms), including a special module which implements the concepts to be learned. No prior knowledge of Functional Programming is required: apart from List Comprehension (which is comprehensively covered in the text), everything the students need is either provided for them, or can be picked up easily as they go along. An Instructors Guide will also be available on the web, to help lecturers adapt existing courses.
Introduction to Haskell * Propositional Logic * Predicate Logic * Set Theory * Recursion * Inductively Defined Sets * Induction * Relations * Functions * Digital Circuit Design * Appendix A: Software Tools for Discrete Mathematics * Appendix B: Resources on the Web * Appendix C: Solutions to Selected Exercises * Bibliography * Index.
| Zusatzinfo | bibliography, index |
|---|---|
| Verlagsort | England |
| Sprache | englisch |
| Maße | 156 x 234 mm |
| Gewicht | 511 g |
| Einbandart | Paperback |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Computerprogramme / Computeralgebra | |
| ISBN-10 | 1-85233-089-9 / 1852330899 |
| ISBN-13 | 978-1-85233-089-7 / 9781852330897 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
