‘It takes me longer, but I understand better’ – student feedback on structured derivations

References

• Back , R-J , Peltomäki , M , Salakoski , T and von Wright , J . 2004 . “ Structured derivations supporting high-school mathematics ” . In Current Research on Mathematics and Science Education , Edited by: Laine , A , Lavonen , J and Meisalo , V . Department of Applied Sciences of Education, University of Helsinki .
   Google Scholar
• Back , R-J and von Wright , J . 1998 . Refinement Calculus: A Systematic Introduction, Graduate Texts in Computer Science , Berlin : Springer-Verlag .
   Google Scholar
• Hemmi , K . 2006 . “ Approaching Proof in a Community of Mathematical Practice ” . In PhD thesis , Department of Mathematics, Stockholm University .
   Google Scholar
• Schoenfeld , AH . 1994 . What do we know about mathematics curricula? . J. Math. Behav. , 13 ( 1 ) : 55 – 80 .
   Google Scholar
• Dreyfus , T . 1999 . Why Johnny can't prove? . Educ. Stud. Math. , 38 ( 1–3 ) : 85 – 109 .
   Google Scholar
• Hanna , G and Jahnke , HN . 1993 . Proof and application . Edu. Stud. Math. , 24 : 421 – 438 .
   Google Scholar
• Hoyles , C . 1997 . The curricular shaping of students' approaches to proof . Learn. Math. , 17 ( 1 ) : 7 – 16 .
   Google Scholar
• Gardiner , T . 2004 . Learning to prove: Using structured templates for multi-step calculations as an introduction to local deduction . ZDM , 36 ( 2 ) : 67 – 76 .
   Google Scholar
• Knipping , C . 2008 . A method for revealing structures of argumentations in classroom proving processes . ZDM Math. Educ. , 40 : 427 – 441 .
   Google Scholar
• Leron , U . 1983 . Structuring mathematical proof . Am. Math. Mon. , 90 ( 3 ) : 174 – 185 .
   Web of Science ®Google Scholar
• Back , R-J , Mannila , L , Peltomäki , M and Sibelius , P . Structured derivations: a logic based approach to teaching mathematics, FORMED 2008: Formal Methods in Computer Science Education, Budapest, Hungary, March 2008
   Google Scholar
• Back , R-J , Mannila , L and Wallin , S . Student justifications in high-school mathematics, CERME 6 Sixth Conference of European Research in Mathematics Education, Lyon, France, 2009
   Google Scholar
• Mannila , L and Wallin , S . Promoting students' justification skills using structured derivations, ICMI 19: 19th ICMI Study Conference on Proof and Proving in Mathematics Education, Taiwan, May 2009
   Google Scholar
• Peltomäki , M and Back , R-J . An empirical evaluation of structured derivations in high school mathematics, ICMI 19: 19th ICMI Study Conference on Proof and Proving in Mathematics Education, 2009
   Google Scholar
• Peltomäki , M and Salakoski , T . Strict logical notation is not a part of the problem but a part of the solution for teaching high-school mathematics, Proceedings of the Fourth Finnish/Baltic Sea Conference on Computer Science Education – Koli Calling, 2004, pp. 116–120
   Google Scholar
• Back , R-J , Grundy , J and von Wright , J . 1997 . Structured calculation proof . Form. Asp. Comput. , 9 : 469 – 483 .
   Google Scholar
• Back , R-J and Wright , J von . A method for teaching rigorous mathematical reasoning, Proceedings of International Conference on Technology of Mathematics, University of Plymouth, UK, August 1999
   Google Scholar
• Dijkstra , EW . 2002 . The notational conventions I adopted, and why . Form. Asp. Comput. , 14 ( 2 ) : 99 – 107 . EWD 1300
   Google Scholar
• Dijkstra , EW and Scholten , CS . 1990 . Predicate Calculus and Program Semantics , 21 – 29 . New York : Texts and Monogr. Comput. Sci. Springer-Verlag .
   Google Scholar
• W.H. Feijen and L. Bijlsma, Exercises in formula manipulation in Formal Development Programs and Proofs, E.W. Dijkstra, ed., Addison-Wesley Publ. Co., Boston, MA, 1990, pp. 139–158
   Google Scholar
• van Gasteren , AJ . 1990 . On the Shape of Mathematical Arguments . LNCS , 445 : 90 – 120 .
   Google Scholar
• Cohen , L , Manion , L and Morrison , K . 2007 . Research Methods in Education, , 6 , London : Routledge .
   Google Scholar
• Hersch , R . Proving is convincing and explaining, Edu. Stud. Math. 24 (1993), pp. 389–399
   Google Scholar
• Glass , B and Maher , CA . 2004 . Students problem solving and justification, Proceedings of the 28th Conference of the International Group for the Psychology of Mathematics Education, Vol. 2 463 – 470 .
   Google Scholar
• Schoenfeld , AH . 1989 . Exploration of students' mathematical beliefs and behavior . J. Res. Math. Edu. , 20 : 338 – 351 .
   Web of Science ®Google Scholar
• Heinze , A and Erhard , M . 2006 . How much time do students have to think about teacher questions? An investigation of the quick succession of teacher questions and student responses in the german mathematics classroom . ZDM , 38 ( 5 ) : 388 – 398 .
   Google Scholar
• D.G. Oblinger and J.L. Oblinger (eds.), Is it age or IT: first steps toward understanding the net generation, in Educating the Net Generation, EDUCAUSE, Washington, DC, USA, 2005, pp. 2.1–2.20
   Google Scholar
• Skemp , R . 1976 . Relational understanding and instrumental understanding . Math. Teaching , 77 : 20 – 26 .
   Google Scholar
• Cai , J , Jakabcsin , M and Lane , S . 1996 . Assessing students' mathematical communication . Sch. Sci. Math. , 96 ( 5 ) : 238 – 246 .
   Google Scholar
• Pirie , S and Kieren , T . 1992 . Creating constructivist environments and constructing creative mathematics . Edu. Stud. Math. , 23 : 505 – 528 .
   Google Scholar
• Lithner , J . 2000 . Mathematical reasoning and familiar procedures . Int. J. Math. Edu. Sci. Technol. , 31 ( 1 ) : 83 – 95 .
   Google Scholar
• McCray , RA , DeHaan , RL and Schuck , JA (eds.) . Improving undergraduate instruction in science, technology, engineering, and mathematics: report of a workshop. Center for Education, 2003
   Google Scholar
• Akerlind , GS and Trevitt , AC . 1999 . Enhancing self-directed learning through educational technology: when students resist the change . Innov. Edu. Train. Int. , 6 ( 2 ) : 96 – 105 .
   Web of Science ®Google Scholar