Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Didactical issues at the interface of mathematics and computer science

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
  • معلومة اضافية
    • Contributors:
      Institut Montpelliérain Alexander Grothendieck (IMAG); Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS); Université Paris-Est Marne-la-Vallée (UPEM); Laboratoire d'Informatique Gaspard-Monge (LIGM); Université Paris-Est Marne-la-Vallée (UPEM)-École des Ponts ParisTech (ENPC)-ESIEE Paris-Fédération de Recherche Bézout (BEZOUT); Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS); École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel; ANR-16-CE38-0006,DEMaIn,Didactique et Épistémologie des interactions entre Mathématiques et Informatique(2016)
    • بيانات النشر:
      HAL CCSD
      Springer International Publishing
    • الموضوع:
      2019
    • نبذة مختصرة :
      International audience ; 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.
    • Relation:
      hal-01912885; https://hal.science/hal-01912885; https://hal.science/hal-01912885/document; https://hal.science/hal-01912885/file/chapter-Durand-Guerrier-Meyer-Modeste.pdf
    • الرقم المعرف:
      10.1007/978-3-030-28483-1_6
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.86AB12F2