Discrete Mathematics Using a Computer
Autor John O'Donnell, Cordelia Hall, Rex Pageen Limba Engleză Paperback – 14 aug 2006
Preț: 426.20 lei
Preț vechi: 532.75 lei
-20% Nou
Puncte Express: 639
Preț estimativ în valută:
81.57€ • 84.84$ • 68.36£
81.57€ • 84.84$ • 68.36£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781846282416
ISBN-10: 1846282411
Pagini: 464
Ilustrații: XIX, 441 p. 68 illus.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.65 kg
Ediția:2nd ed. 2006
Editura: SPRINGER LONDON
Colecția Springer
Locul publicării:London, United Kingdom
ISBN-10: 1846282411
Pagini: 464
Ilustrații: XIX, 441 p. 68 illus.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.65 kg
Ediția:2nd ed. 2006
Editura: SPRINGER LONDON
Colecția Springer
Locul publicării:London, United Kingdom
Public țintă
Lower undergraduateCuprins
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.
Textul de pe ultima copertă
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 practical approach that provides students with instant feedback and allows lecturers to monitor progress easily.
This second edition of the successful textbook contains significant additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, as well as a new chapter showing how a mathematical approach can be used to motivate AVL trees, an important and complex data structure.
Designed for 1st and 2nd year undergraduate students, the book is also well suited for 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.
Key features include:
• Numerous exercises and examples
• A web page with software tools and additional practice problems, solutions, and explanations, as well as course slides
• Suggestions for further reading
Complete with an accompanying instructor's guide, available via the web, this volume is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters and Formal Methods courses.
Visit the book’s Web page at: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
This second edition of the successful textbook contains significant additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, as well as a new chapter showing how a mathematical approach can be used to motivate AVL trees, an important and complex data structure.
Designed for 1st and 2nd year undergraduate students, the book is also well suited for 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.
Key features include:
• Numerous exercises and examples
• A web page with software tools and additional practice problems, solutions, and explanations, as well as course slides
• Suggestions for further reading
Complete with an accompanying instructor's guide, available via the web, this volume is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters and Formal Methods courses.
Visit the book’s Web page at: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
Caracteristici
Takes an entirely original approach to the teaching Discrete Mathematics, aimed at making it easier for students to learn difficult concepts Uses a simple functional language, requiring no prior knowledge of Functional Programming All the material needed to use the book will be available for download via ftp Includes an Instructors Guide, available via the Worldwide Web