Experimental Mathematics with Maple
Book information
Description
As discrete mathematics rapidly becomes a required element of undergraduate mathematics programs, algebraic software systems replace compiled languages and are now most often the computational tool of choice. Newcomers to university level mathematics, therefore, must not only grasp the fundamentals of discrete mathematics, they must also learn to use an algebraic manipulator and develop skills in abstract reasoning. Experimental Mathematics with MAPLE uniquely responds to these needs. Following an emerging trend in research, it places abstraction and axiomatization at the end of a learning process that begins with computer experimentation. It introduces the foundations of discrete mathematics and, assuming no previous knowledge of computing, gradually develops basic computational skills using the latest version of the powerful MAPLE® software. The author`s approach is to expose readers to a large number of concrete computational examples and encourage them to isolate the general from the particular, to synthesize computational results, formulate conjectures, and attempt rigorous proofs. Using this approach, Experimental Mathematics with MAPLE enables readers to build a foundation in discrete mathematics, gain valuable experience with algebraic computing, and develop a familiarity with basic abstract concepts, notation, and jargon. Its engaging style, numerous exercises and examples, and Internet posting of selected solutions and MAPLE worksheets make this text ideal for use both in the classroom and for self-study.
Similar books
Numerical Solutions for Partial Differential Equations: Problem Solving Using Mathematica
1996 · PDF
Mathematical Theory of Subdivision: Finite Element and Wavelet Methods
2019 · PDF
Mathematical Principles of the Internet, Two Volume Set
2019 · PDF
Two Dimensional Spline Interpolation Algorithms
1993 · PDF
The Cauchy Transform, Potential Theory and Conformal Mapping
2015 · PDF
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
2001 · PDF
Robust Computational Techniques for Boundary Layers
2000 · PDF
Process Algebra for Parallel and Distributed Processing
2008 · PDF