Skip to Main content Skip to Navigation
Book sections

Didactical issues at the interface of mathematics and computer science

Abstract : This contribution takes place in the context of a research project 1 on the epistemological and didactical issues of interactions between mathematics and computer science. We make the hypothesis that, with the introduction of digital tools and computer science content in most curricula, significantly taking into account the epistemology of mathematics, computer science and their interactions is essential in order to tackle the challenges of mathematics and computer science education in the digital era. In view of this, addressing the question of proof in mathematics and computer science is a central didactical issue, which we examine in this contribution. We will elaborate on the links between the concepts of algorithm, proof, and program, and will argue for their significance in a general reflection on didactical issues in mathematics and computer science, in their teaching at high school and undergraduate levels.
Complete list of metadatas

Cited literature [47 references]  Display  Hide  Download
Contributor : Simon Modeste <>
Submitted on : Monday, November 5, 2018 - 5:28:39 PM
Last modification on : Monday, October 19, 2020 - 10:19:13 AM
Long-term archiving on: : Wednesday, February 6, 2019 - 4:02:09 PM


Files produced by the author(s)


  • HAL Id : hal-01912885, version 1


Viviane Durand-Guerrier, Antoine Meyer, Simon Modeste. Didactical issues at the interface of mathematics and computer science. Proof Technology in Mathematics Research and Teaching, 2019. ⟨hal-01912885⟩



Record views


Files downloads