Abstract
Algorithmic problem solving is a way of approaching and solving problems by using the advances that have been made in the principles of correct-by-construction algorithm design. The approach has been taught at first-year undergraduate level since September 2003 and, since then, a substantial amount of learning materials have been developed. However, the existing materials are distributed in a conventional and static way (e.g. as a textbook and as several documents in PDF format available online), not leveraging the capabilities provided by modern collaborative and open-source platforms.
In this paper, we propose the creation of an online, open-source repository of interactive learning materials on algorithmic problem solving. We show how the existing framework Mathigon can be used to support such a repository. By being open and hosted on a platform such as GitHub, the repository enables collaboration and anyone can create and submit new material. Furthermore, by making the material interactive, we hope to encourage engagement with and a better understanding of the materials.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Mathigon’s website: https://mathigon.org (accessed 18 July 2019).
- 2.
Wikipedia link: https://en.wikipedia.org/wiki/River_crossing_puzzle (accessed 18 July 2019).
- 3.
The restatement of the problem and the subsequent two paragraphs are extracted from [1].
- 4.
The implementation of the puzzle that we used was created by Victor Ribeiro (https://github.com/victorqribeiro/bridge).
- 5.
See the repository textbooks (folder content/river-crossing) in https://github.com/algprobsolving.
- 6.
MyScript webpage: https://www.myscript.com.
References
Backhouse, R.: Algorithmic Problem Solving. Wiley, New York (2011)
Backhouse, R., Ferreira, J.F.: On Euclid’s algorithm and elementary number theory. Sci. Comput. Programm. 76(3), 160–180 (2011). https://doi.org/10.1016/j.scico.2010.05.006
Backhouse, R., Ferreira, J.F.: Recounting the rationals: twice!. In: Audebaud, P., Paulin-Mohring, C. (eds.) MPC 2008. LNCS, vol. 5133, pp. 79–91. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-70594-9_6
Biggs, J., Tang, C.: Teaching for Quality Learning at University: What the Student does (Society for Research Into Higher Education), 4th edn. Open Univ. Press, Buckingham (2011)
Chickering, A.W., Gamson, Z.F.: Seven principles for good practice in undergraduate education. AAHE Bull. 3, 7 (1987)
Dijkstra, E.W.: Pruning the search tree, January 1997. http://www.cs.utexas.edu/users/EWD/ewd12xx/EWD1255.PDF
Ferreira, J.F.: Designing an algorithmic proof of the two-squares theorem. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC 2010. LNCS, vol. 6120, pp. 140–156. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13321-3_10
Ferreira, J.F.: Principles and applications of algorithmic problem solving. Ph.D. thesis, School of Computer Science, University of Nottingham (2010)
Ferreira, J.F., Mendes, A.: Students’ feedback on teaching mathematics through the calculational method. In: 2009 39th IEEE Frontiers in Education Conference, pp. 1–6. IEEE (2009)
Ferreira, J.F., Mendes, A.: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. In: ACM ITiCSE (2014)
Ferreira, J.F., Mendes, A., Backhouse, R., Barbosa, L.S.: Which mathematics for the information society? In: Gibbons, J., Oliveira, J.N. (eds.) TFM 2009. LNCS, vol. 5846, pp. 39–56. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04912-5_4
Ferreira, J., et al.: Logic training through algorithmic problem solving. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds.) TICTTL 2011. LNCS (LNAI), vol. 6680, pp. 62–69. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21350-2_8
Hoare, T., Mendes, A., Ferreira, J.F.: Logic, algebra, and geometry at the foundation of computer science. In: Dongol, B., Petre, L., Smith, G. (eds.) FMTea 2019. LNCS, vol. 11758, pp. 3–20. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-32441-4_1
Mendes, A.: Structured editing of handwritten mathematics. Ph.D. thesis, School of Computer Science, University of Nottingham, UK (2012)
Mendes, A., Backhouse, R., Ferreira, J.F.: Structure editing of handwritten mathematics: improving the computer support for the calculational method. In: ACM ITS (2014). http://doi.acm.org/10.1145/2669485.2669495
Acknowledgments
This work is partially financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia through the project: UID/EEA/50014/2019.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Ferreira, J.F., Mendes, A. (2020). Open and Interactive Learning Resources for Algorithmic Problem Solving. In: Sekerinski, E., et al. Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science(), vol 12233. Springer, Cham. https://doi.org/10.1007/978-3-030-54997-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-54997-8_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54996-1
Online ISBN: 978-3-030-54997-8
eBook Packages: Computer ScienceComputer Science (R0)