Didactical issues at the interface of mathematics and computer science - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Didactical issues at the interface of mathematics and computer science

Résumé

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.
Fichier principal
Vignette du fichier
chapter-Durand-Guerrier-Meyer-Modeste.pdf (167.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01912885 , version 1 (05-11-2018)

Identifiants

Citer

Viviane Durand-Guerrier, Antoine Meyer, Simon Modeste. Didactical issues at the interface of mathematics and computer science. Proof Technology in Mathematics Research and Teaching, 14, Springer International Publishing, pp.115-138, 2019, Mathematics Education in the Digital Era, ⟨10.1007/978-3-030-28483-1_6⟩. ⟨hal-01912885⟩
216 Consultations
600 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More