Open and Interactive Learning Resources for Algorithmic Problem Solving

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2019

Autores

Ferreira, JF (Autor) Outra; Mendes, A (Autor) Outra

Ata de Conferência Internacional

Título: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II

Páginas: 200-208

3rd World Congress on Formal Methods, FM 2019

7 October 2019 through 11 October 2019

Indexação

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-00S-MVG

DOI: 10.1007/978-3-030-54997-8_13

Abstract (EN): 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. © Springer Nature Switzerland AG 2020.

Idioma: Inglês

Tipo (Avaliação Docente): Científica