List of Figures |
|
viii | |
1 Introduction |
|
1 | (8) |
|
1.1 Multiple-choice questions |
|
|
2 | (2) |
|
|
4 | (3) |
|
|
7 | (1) |
|
|
8 | (1) |
2 An assessment vignette |
|
9 | (10) |
|
2.1 The student's perspective |
|
|
9 | (5) |
|
2.2 Assessing answers to simple questions |
|
|
14 | (2) |
|
|
16 | (2) |
|
|
18 | (1) |
3 Learning and assessing mathematics |
|
19 | (18) |
|
3.1 The nature of mathematics |
|
|
19 | (2) |
|
3.2 Terms used in assessment |
|
|
21 | (1) |
|
3.3 Purposes of assessment |
|
|
22 | (1) |
|
|
23 | (2) |
|
3.5 Principles and tensions of assessment design |
|
|
25 | (8) |
|
3.6 Learning cyder and feedback |
|
|
33 | (2) |
|
|
35 | (2) |
4 Mathematical question spaces |
|
37 | (16) |
|
4.1 Why randomly generate questions? |
|
|
38 | (1) |
|
4.2 Randomly generating an individual question |
|
|
39 | (3) |
|
4.3 Linking mathematical questions |
|
|
42 | (2) |
|
4.4 Building up conceptions |
|
|
44 | (2) |
|
4.5 Types of mathematics question |
|
|
46 | (3) |
|
4.6 Embedding CAA into general teaching |
|
|
49 | (2) |
|
|
51 | (2) |
5 Notation and syntax |
|
53 | (20) |
|
5.1 An episode in the history of mathematical notation |
|
|
54 | (2) |
|
5.2 The importance of notational conventions |
|
|
56 | (4) |
|
5.3 Ambiguities and inconsistencies in notation |
|
|
60 | (1) |
|
5.4 Notation and machines: syntax |
|
|
61 | (4) |
|
|
65 | (1) |
|
5.6 The use of the AiM system by students |
|
|
66 | (1) |
|
|
67 | (1) |
|
|
68 | (2) |
|
|
70 | (1) |
|
|
71 | (2) |
6 Computer algebra systems for CAA |
|
73 | (29) |
|
6.1 The prototype test: equivalence |
|
|
75 | (1) |
|
6.2 A comparison of mainstream CAS |
|
|
76 | (2) |
|
6.3 The representation of expressions by CAS |
|
|
78 | (4) |
|
6.4 Existence of mathematical objects |
|
|
82 | (4) |
|
6.5 'Simplify' is an ambiguous instruction |
|
|
86 | (2) |
|
6.6 Equality, equivalence, and sameness |
|
|
88 | (3) |
|
6.7 Forms of elementary mathematical expression |
|
|
91 | (3) |
|
6.8 Equations, inequalities, and systems of equations |
|
|
94 | (2) |
|
6.9 Other mathematical properties we might seek to establish |
|
|
96 | (1) |
|
|
97 | (2) |
|
6.11 Generating outcomes useful for CAA |
|
|
99 | (1) |
|
6.12 Side conditions and logic |
|
|
100 | (1) |
|
|
101 | (1) |
7 The STACK CAA system |
|
102 | (25) |
|
7.1 Background: the AiM CAA system |
|
|
102 | (1) |
|
7.2 Design goals for STACK |
|
|
103 | (3) |
|
|
106 | (1) |
|
7.4 The design of STACK's multi-part tasks |
|
|
107 | (4) |
|
|
111 | (1) |
|
|
112 | (1) |
|
7.7 Quality control and exchange of questions |
|
|
113 | (1) |
|
7.8 Extensions and development of the STACK system by Aalto |
|
|
114 | (3) |
|
|
117 | (4) |
|
|
121 | (4) |
|
|
125 | (2) |
8 Software case studies |
|
127 | (35) |
|
|
127 | (2) |
|
|
129 | (3) |
|
|
132 | (6) |
|
|
138 | (2) |
|
|
140 | (6) |
|
|
146 | (1) |
|
|
147 | (1) |
|
|
148 | (2) |
|
|
150 | (4) |
|
|
154 | (3) |
|
8.11 Algebra tutors: Aplusix and T-algebra |
|
|
157 | (3) |
|
|
160 | (2) |
9 The future |
|
162 | (11) |
|
9.1 Encoding a complete mathematical argument |
|
|
162 | (4) |
|
|
166 | (3) |
|
9.3 Semi-automatic marking |
|
|
169 | (1) |
|
9.4 Standards and interoperability |
|
|
170 | (2) |
|
|
172 | (1) |
Bibliography |
|
173 | (10) |
Index |
|
183 | |