This is the first supplement in discrete mathematics to concentrate on the computational aspects of the computer algebra system Maple. Detailed instructions for the use of Maple are included in an introductory chapter and in each subsequent chapter. Each chapter includes discussion of selected Computational and Exploration exercises in the corresponding chapter of Ken Rosen's text Discrete Math and It's Applications, Third Edition. New exercises and projects are included in each chapter to encourage further exploration of discrete mathematics using Maple. All of the Maple code in this supplement is available online via the Waterloo Maple Web site, in addition to new Maple routines that have been created which extend the current capabilities of Maple.

This unusual introduction to Maple shows readers how Maple or any other computer algebra system fits naturally into a mathematically oriented work environment. Designed for mathematicians, engineers, econometricians, and other scientists, this book shows how computer algebra can enhance their theoretical work. A CD-ROM contains all the Maple worksheets presented in the book.

Maple is a very powerful computer algebra system used by students, educators, mathematicians, statisticians, scientists, and engineers for doing numerical and symbolic computations. Greatly expanded and updated from the author's MAPLE V Primer, The MAPLE Book offers extensive coverage of the latest version of this outstanding software package, MAPL

Note: This is a custom edition of Levin's full Discrete Mathematics text, arranged specifically for use in a discrete math course for future elementary and middle school teachers. (It is NOT a new and updated edition of the main text.)This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set of lecture notes for the discrete mathematics course at the University of Northern Colorado. This course serves both as an introduction to topics in discrete math and as the "introduction to proof" course for math majors. The course is usually taught with a large amount of student inquiry, and this text is written to help facilitate this.Four main topics are covered: counting, sequences, logic, and graph theory. Along the way proofs are introduced, including proofs by contradiction, proofs by induction, and combinatorial proofs.While there are many fine discrete math textbooks available, this text has the following advantages: - It is written to be used in an inquiry rich course.- It is written to be used in a course for future math teachers.- It is open source, with low cost print editions and free electronic editions.

The book consists of two parts. The first part consists of seven chapters and presents a new software for package Maple of releases 6-10. The tools represented in this chapters increase the range and efficiency of use of Maple on Windows platform. The basic attention is devoted to additional tools created in the process of practical use and testing the Maple of releases 4 - 10 which by some parameters extend essentially the opportunities of the package and facilitate the work with it.Whereas the algorithms of physical and engineering problems of the second part mainly use the finite element method (FEM). The part consists of eight chapters and solves in Maple environment the physical and engineering problems from such fields as: thermal conductivity, mechanics of deformable bodies, theory of elasticity, hydrodynamics, hydromechanics, etc. At last, application of Maple for solution of optimization problems is presented.

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.

Discrete mathematics is fundamental to computer science, and this up-to-date text assists undergraduates in mastering the ideas and mathematical language to address problems that arise in the field's many applications. It consists of 4 units of study: counting and listing, functions, decision trees and recursion, and basic concepts of graph theory.