Preface/Acknowledgments |
|
vii | |
Introduction |
|
1 | (1) |
|
|
1 | (1) |
|
|
2 | (3) |
|
|
3 | (2) |
|
A First Encounter with Maple |
|
|
5 | (4) |
|
|
6 | (3) |
|
Programming Preliminaries |
|
|
9 | (2) |
|
|
9 | (2) |
|
Basic Programming Constructions |
|
|
11 | (6) |
|
|
11 | (3) |
|
|
14 | (1) |
|
|
15 | (2) |
|
|
17 | (1) |
|
|
17 | (1) |
|
Executing System Programs within Maple |
|
|
18 | (1) |
|
|
18 | (3) |
|
|
21 | (1) |
|
|
21 | (1) |
|
|
22 | (1) |
|
|
22 | (1) |
|
Communicating with the Authors |
|
|
22 | (1) |
|
|
23 | (2) |
|
Logic, Sets and Functions |
|
|
25 | (28) |
|
|
25 | (8) |
|
|
27 | (1) |
|
|
27 | (1) |
|
A Maple Programming Example |
|
|
28 | (1) |
|
|
29 | (3) |
|
Using Maple to Check Logical Arguments |
|
|
32 | (1) |
|
Quantifiers and Propositions |
|
|
33 | (3) |
|
|
36 | (5) |
|
|
38 | (3) |
|
|
41 | (7) |
|
|
41 | (5) |
|
|
46 | (2) |
|
|
48 | (1) |
|
Computations and Explorations |
|
|
49 | (2) |
|
|
51 | (2) |
|
|
53 | (46) |
|
Implementing Algorithms in Maple |
|
|
53 | (6) |
|
|
54 | (1) |
|
Local and Global Variables |
|
|
55 | (4) |
|
Measuring Time Complexity |
|
|
59 | (3) |
|
|
62 | (9) |
|
|
62 | (1) |
|
Greatest Common Divisors and Least Common Multiples |
|
|
63 | (3) |
|
Chinese Remainder Theorem |
|
|
66 | (1) |
|
|
67 | (1) |
|
|
68 | (2) |
|
|
70 | (1) |
|
Applications of Number Theory |
|
|
71 | (8) |
|
|
71 | (4) |
|
Linear Congruential Pseudorandom Number Generators |
|
|
75 | (2) |
|
|
77 | (2) |
|
|
79 | (4) |
|
|
82 | (1) |
|
|
83 | (2) |
|
|
85 | (6) |
|
|
88 | (3) |
|
Computations and Explorations |
|
|
91 | (4) |
|
|
95 | (4) |
|
|
99 | (18) |
|
|
99 | (5) |
|
|
104 | (4) |
|
Recursive and Iterative Definitions |
|
|
108 | (3) |
|
Computations and Explorations |
|
|
111 | (4) |
|
|
115 | (2) |
|
|
117 | (30) |
|
|
118 | (2) |
|
More Combinatorial Functions |
|
|
120 | (8) |
|
|
120 | (3) |
|
|
123 | (3) |
|
|
126 | (2) |
|
|
128 | (4) |
|
|
130 | (2) |
|
|
132 | (1) |
|
|
133 | (3) |
|
Computations and Explorations |
|
|
136 | (8) |
|
|
144 | (3) |
|
|
147 | (36) |
|
|
147 | (3) |
|
|
148 | (2) |
|
Solving Recurrences with Maple |
|
|
150 | (14) |
|
Inhomogeneous Recurrence Relations |
|
|
157 | (2) |
|
Maple's Recurrence Solver |
|
|
159 | (4) |
|
Divide and Conquer Relations |
|
|
163 | (1) |
|
|
164 | (5) |
|
|
169 | (4) |
|
Computations and Explorations |
|
|
173 | (7) |
|
|
180 | (3) |
|
|
183 | (34) |
|
An Introduction to Relations in Maple |
|
|
183 | (2) |
|
Determining Properties of Relations using Maple |
|
|
185 | (2) |
|
|
187 | (3) |
|
Representing Relations as Digraphs and Zero-One Matrices |
|
|
190 | (5) |
|
Representing Relations Using Directed Graphs |
|
|
190 | (2) |
|
Representing Relations Using Zero-One Matrices |
|
|
192 | (3) |
|
Computing Closures of Relations |
|
|
195 | (4) |
|
|
195 | (1) |
|
|
196 | (1) |
|
|
196 | (3) |
|
|
199 | (2) |
|
Partial Ordering and Minimal Elements |
|
|
201 | (4) |
|
|
205 | (1) |
|
|
206 | (2) |
|
|
208 | (4) |
|
Computations and Explorations |
|
|
212 | (3) |
|
|
215 | (2) |
|
|
217 | (56) |
|
Getting Started with Graphs |
|
|
217 | (12) |
|
|
217 | (2) |
|
Visualizing Graphs in Maple |
|
|
219 | (6) |
|
|
225 | (4) |
|
Simple Computations on Graphs |
|
|
229 | (3) |
|
|
230 | (2) |
|
Constructing Special Graphs |
|
|
232 | (14) |
|
|
237 | (3) |
|
Subgraphs, Unions and Complements |
|
|
240 | (6) |
|
Representing Graphs, and Graph Isomorphism |
|
|
246 | (5) |
|
|
246 | (2) |
|
|
248 | (3) |
|
|
251 | (4) |
|
|
255 | (3) |
|
|
255 | (3) |
|
|
258 | (3) |
|
Planar Graphs and Graph Coloring |
|
|
261 | (2) |
|
|
261 | (1) |
|
|
261 | (2) |
|
|
263 | (2) |
|
Computations and Explorations |
|
|
265 | (6) |
|
|
271 | (2) |
|
|
273 | (50) |
|
|
273 | (7) |
|
|
276 | (4) |
|
|
280 | (8) |
|
|
281 | (5) |
|
|
286 | (2) |
|
|
288 | (8) |
|
Infix, Prefix and Postfix Notation |
|
|
292 | (4) |
|
|
296 | (4) |
|
|
297 | (1) |
|
|
298 | (2) |
|
|
300 | (9) |
|
|
303 | (6) |
|
|
309 | (5) |
|
Computations and Explorations |
|
|
314 | (6) |
|
|
320 | (3) |
|
|
323 | (26) |
|
|
323 | (7) |
|
|
326 | (1) |
|
Representing Boolean Functions |
|
|
327 | (1) |
|
Verifying Boolean Identities |
|
|
327 | (1) |
|
|
328 | (1) |
|
|
329 | (1) |
|
Representing Boolean Functions |
|
|
330 | (3) |
|
Minimization of Boolean Expressions and Circuits |
|
|
333 | (3) |
|
|
336 | (3) |
|
Computations and Explorations |
|
|
339 | (6) |
|
|
345 | (4) |
|
|
349 | (38) |
|
|
349 | (1) |
|
|
350 | (3) |
|
Finite-State Machines with Output |
|
|
353 | (3) |
|
Finite-State Machines with No Output |
|
|
356 | (5) |
|
Deterministic Finite-State Machine Simulation |
|
|
361 | (2) |
|
Nondeterministic Finite Automata |
|
|
363 | (7) |
|
|
370 | (4) |
|
Converting Regular Expressions to/from Finite Automata |
|
|
374 | (4) |
|
|
378 | (6) |
|
Computations and Explorations |
|
|
384 | (3) |
|
|
387 | (1) |
Index |
|