| Preface |
|
vii | |
|
|
|
1 | (32) |
|
|
|
1 | (3) |
|
|
|
4 | (5) |
|
|
|
4 | (1) |
|
|
|
4 | (1) |
|
1.2.3 Worksheets in Maple |
|
|
5 | (1) |
|
1.2.4 Entering commands into Maple |
|
|
6 | (2) |
|
|
|
8 | (1) |
|
1.2.6 Using previous results |
|
|
8 | (1) |
|
|
|
9 | (1) |
|
1.3 Help and error messages with Maple |
|
|
9 | (2) |
|
|
|
9 | (1) |
|
|
|
10 | (1) |
|
|
|
11 | (7) |
|
1.4.1 Basic mathematical operators |
|
|
11 | (1) |
|
1.4.2 Special mathematical constants |
|
|
12 | (1) |
|
1.4.3 Performing calculations |
|
|
12 | (1) |
|
1.4.4 Exact versus floating point numbers |
|
|
13 | (5) |
|
|
|
18 | (8) |
|
1.5.1 Assigning variables and giving names |
|
|
18 | (2) |
|
1.5.2 Useful inbuilt functions |
|
|
20 | (6) |
|
1.6 Examples of the use of Maple |
|
|
26 | (7) |
|
|
|
33 | (30) |
|
|
|
33 | (12) |
|
2.1.1 Union, intersection and difference of sets |
|
|
35 | (3) |
|
|
|
38 | (4) |
|
|
|
42 | (1) |
|
2.1.4 Cartesian product of sets |
|
|
43 | (1) |
|
|
|
43 | (2) |
|
2.2 Correct and incorrect reasoning |
|
|
45 | (2) |
|
2.3 Propositions and their combinations |
|
|
47 | (4) |
|
|
|
51 | (2) |
|
2.5 Comments and supplements |
|
|
53 | (10) |
|
2.5.1 Divisibility: An example of an axiomatic theory |
|
|
56 | (7) |
|
|
|
63 | (34) |
|
|
|
63 | (5) |
|
|
|
68 | (7) |
|
|
|
75 | (14) |
|
3.3.1 Library of functions |
|
|
75 | (2) |
|
3.3.2 Defining functions in Maple |
|
|
77 | (3) |
|
|
|
80 | (1) |
|
3.3.4 Graphs of functions in Maple |
|
|
81 | (8) |
|
3.4 Composition of functions |
|
|
89 | (1) |
|
|
|
90 | (1) |
|
|
|
91 | (4) |
|
|
|
95 | (2) |
|
|
|
97 | (32) |
|
|
|
97 | (3) |
|
|
|
100 | (5) |
|
|
|
105 | (3) |
|
4.4 Using Maple for solving inequalities |
|
|
108 | (4) |
|
|
|
112 | (2) |
|
4.6 The least upper bound axiom |
|
|
114 | (6) |
|
4.7 Operation with real valued functions |
|
|
120 | (1) |
|
4.8 Supplement. Peano axioms. Dedekind cuts |
|
|
121 | (8) |
|
5. Mathematical Induction |
|
|
129 | (38) |
|
|
|
129 | (6) |
|
|
|
135 | (1) |
|
5.3 Notation for sums and products |
|
|
136 | (9) |
|
|
|
141 | (2) |
|
|
|
143 | (2) |
|
|
|
145 | (1) |
|
5.5 Inductive definitions |
|
|
146 | (3) |
|
|
|
149 | (3) |
|
5.7 Roots and powers with rational exponents |
|
|
152 | (5) |
|
5.8 Some important inequalities |
|
|
157 | (4) |
|
|
|
161 | (3) |
|
5.10 Proof of the recursion theorem |
|
|
164 | (2) |
|
|
|
166 | (1) |
|
|
|
167 | (24) |
|
|
|
167 | (2) |
|
|
|
169 | (6) |
|
6.3 Long division algorithm |
|
|
175 | (3) |
|
|
|
178 | (2) |
|
6.5 The Taylor polynomial |
|
|
180 | (4) |
|
|
|
184 | (7) |
|
|
|
191 | (16) |
|
|
|
191 | (3) |
|
|
|
194 | (13) |
|
7.2.1 Absolute value of a complex number |
|
|
196 | (1) |
|
7.2.2 Square root of a complex number |
|
|
197 | (2) |
|
7.2.3 Maple and complex numbers |
|
|
199 | (1) |
|
7.2.4 Geometric representation of complex numbers. Trigonometric form of a complex number |
|
|
199 | (3) |
|
7.2.5 The binomial equation |
|
|
202 | (5) |
|
|
|
207 | (24) |
|
|
|
207 | (2) |
|
8.2 Maple commands solve and f solve |
|
|
209 | (4) |
|
|
|
213 | (15) |
|
8.3.1 Equations of higher orders and f solve |
|
|
225 | (3) |
|
8.4 Linear equations in several unknowns |
|
|
228 | (3) |
|
|
|
231 | (8) |
|
|
|
231 | (8) |
| 10. Limits of Sequences |
|
239 | (40) |
|
10.1 The concept of a limit |
|
|
239 | (10) |
|
|
|
249 | (6) |
|
10.3 Limits of sequences in Maple |
|
|
255 | (2) |
|
|
|
257 | (6) |
|
|
|
263 | (4) |
|
|
|
267 | (1) |
|
|
|
268 | (7) |
|
10.8 Comments and supplements |
|
|
275 | (4) |
| 11. Series |
|
279 | (34) |
|
11.1 Definition of convergence |
|
|
279 | (6) |
|
|
|
285 | (4) |
|
11.3 Maple and infinite series |
|
|
289 | (1) |
|
11.4 Absolute and conditional convergence |
|
|
290 | (5) |
|
|
|
295 | (2) |
|
|
|
297 | (3) |
|
|
|
300 | (3) |
|
11.8 Comments and supplements |
|
|
303 | (10) |
|
11.8.1 More convergence tests |
|
|
303 | (3) |
|
11.8.2 Rearrangements revisited |
|
|
306 | (1) |
|
11.8.3 Multiplication of series |
|
|
307 | (2) |
|
11.8.4 Concluding comments |
|
|
309 | (4) |
| 12. Limits and Continuity of Functions |
|
313 | (44) |
|
|
|
313 | (9) |
|
12.1.1 Limits of functions in Maple |
|
|
319 | (3) |
|
12.2 The Cauchy definition |
|
|
322 | (7) |
|
|
|
329 | (3) |
|
12.4 Continuity at a point |
|
|
332 | (6) |
|
12.5 Continuity of functions on closed bounded intervals |
|
|
338 | (15) |
|
12.6 Comments and supplements |
|
|
353 | (4) |
| 13. Derivatives |
|
357 | (50) |
|
|
|
357 | (5) |
|
13.2 Basic theorems on derivatives |
|
|
362 | (7) |
|
13.3 Significance of the sign of derivative |
|
|
369 | (11) |
|
|
|
380 | (8) |
|
13.4.1 Higher derivatives in Maple |
|
|
381 | (1) |
|
13.4.2 Significance of the second derivative |
|
|
382 | (6) |
|
|
|
388 | (3) |
|
13.6 The Bernoulli-l'Hospital rule |
|
|
391 | (3) |
|
|
|
394 | (4) |
|
13.8 Differentiation of power series |
|
|
398 | (3) |
|
13.9 Comments and supplements |
|
|
401 | (6) |
| 14. Elementary Functions |
|
407 | (24) |
|
|
|
407 | (1) |
|
14.2 The exponential function |
|
|
408 | (3) |
|
|
|
411 | (4) |
|
|
|
415 | (3) |
|
14.5 Trigonometric functions |
|
|
418 | (7) |
|
14.6 Inverses to trigonometric functions |
|
|
425 | (5) |
|
14.7 Hyperbolic functions |
|
|
430 | (1) |
| 15 Integrals |
|
431 | (70) |
|
15.1 Intuitive description of the integral |
|
|
431 | (7) |
|
15.2 The definition of the integral |
|
|
438 | (7) |
|
15.2.1 Integration in Maple |
|
|
443 | (2) |
|
|
|
445 | (5) |
|
15.4 Bolzano-Cauchy principle |
|
|
450 | (5) |
|
15.5 Antiderivates and areas |
|
|
455 | (2) |
|
15.6 Introduction to the fundamental theorem of calculus |
|
|
457 | (1) |
|
15.7 The fundamental theorem of calculus |
|
|
458 | (11) |
|
15.8 Consequences of the fundamental theorem |
|
|
469 | (8) |
|
15.9 Remainder in the Taylor formula |
|
|
477 | (4) |
|
15.10 The indefinite integral |
|
|
481 | (7) |
|
15.11 Integrals over unbounded intervals |
|
|
488 | (4) |
|
15.12 Interchange of limit and integration |
|
|
492 | (6) |
|
15.13 Comments and supplements |
|
|
498 | (3) |
| Appendix A Maple Programming |
|
501 | (10) |
|
|
|
501 | (5) |
|
|
|
501 | (1) |
|
A.1.2 The conditional statement |
|
|
502 | (2) |
|
A.1.3 The while statement |
|
|
504 | (2) |
|
|
|
506 | (5) |
| References |
|
511 | (2) |
| Index of Maple commands used in this book |
|
513 | (6) |
| Index |
|
519 | |