Discrete Mathematics Using a Computer

• Κύριοι συγγραφείς: O’Donnell, John (Συγγραφέας), Hall, Cordelia (Συγγραφέας), Page, Rex (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2006.
• Έκδοση: 2.
• Θέματα: Computer science.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.

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

Πίνακας περιεχομένων:

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