E-Math

Teadustööd ja publikatsioonid

2011

Haasteet ja mahdollisuudet tietokonetuetussa matematiikan opetuksessa (Sallasmaa, P., Mannila, L., Peltomäki, M., Salakoski, T., Salmela, P. and Back, R-J, OPTEK ensitulosjulkaisu, 2011)

2010

"It Takes Me Longer, but I Understand Better" – Student Feedback on Structured Derivations (Back, R-J., Mannila, L. and Wallin, S., International Journal of Mathematical Education in Science and Technology, Vol. 41, No. 5, pp. 575-593)

Structured Derivations: a Unified Proof Style for Teaching Mathematics. (Back R-J., Formal Aspects of Computing, 22(5), pp. 629-661)

Strukturerade härledningar i matematikundervisningen (Mannila, L. and Back, R-J. , Arkhimedes, No. 6, pp. 24-34)

Strukturerade härledningar ökar förståelsen (Mannila, L., Nämnaren, No. 3, pp. 18-25)

Writing Mathematics on the Computer Starting at Upper-Secondary Level (Peltomäki, M. and Mannila, L., ICL2010: 13th International Conference on Interactive Computer Aided Learning. Hasselt, Belgium. September 2010)

2009

Student Justifications in High School Mathematics (Mannila, L., Wallin, S. and Back, R-J., CERME 6: Sixth Conference of European Research in Mathematics Education. Lyon, France, January-February, 2009)

An Empirical Evaluation of Structured Derivations in High School Mathematics (Peltomäki, M., and Back, R-J., ICMI 19: 19th ICMI Study Conference on Proof and Proving in Mathematics Education. Taipei, Taiwan, May 2009)

Promoting Students’ Justification Skills Using Structured Derivations (Mannila, L. and Wallin, S., ICMI 19: 19th ICMI Study Conference on Proof and Proving in Mathematics Education. Taipei, Taiwan, May 2009)

Rakenteiset päättelyketjut matematiikan opetuksessa (Peltomäki, M., Dimensio, No. 5, pp. 20-22)

Teaching Mathematics and Programming – New Approaches with Empirical Evaluation (Mannila, L. Phd Thesis, November 2009)

2008

Structured Derivations: a Logic Based Approach to Teaching Mathematics (Back, R-J., Mannila, L., Peltomäki, M. and Sibelius, P., FORMED08, Budapest, March 2008)

1997 – 2007

Refinement Calculus: A Systematic Introduction. Chapters introducing the format (PDF): 3, 4, 6, 7 (Book by Back and von Wright, 1998)

Structured Calculation Proof (Back R-J., Grundy, J. and von Wright, J., 1997)

Structured Derivations: a Method for Doing High-School Mathematics Carefully (Back, R-J. and von Wright, J, 1999)

Field Tests of the Structured Derivations Method (Back, R-J., Sjöberg, M. and von Wright, J., 2002)

Structured Derivations Supporting High-School Mathematics (Back, R-J., Peltomäki, M., Salakoski, T. and von Wright, J., 2004)

Teaching High-School Mathematics with Structured Derivations in Hypertext Format (Back, R-J., Kavander, T., Nylund, M., Peltomäki, M., Salakoski, T. and von Wright, J., 2002)

Matemaattinen todistaminen ja abstrahtointi lukion matematiikan opetuksessa – opetuskokeilu rakenteisten johtojen avulla (Back, R-J., Kavander, T., Nylund, M., Peltomäki, M., Salakoski, T. and von Wright, J., 2002)

The contents of the website reflect the authors' views. The Managing Authority of the Central Baltic INTERREG IVA Programme cannot be held liable for the information published by the project partners.