Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving

Résumé

After analyzing the relation between mathematics and computer science and the place given to proof, logic and reasoning, we propose and discuss a framework for the study of their interactions based on the ck¢ model. Then, we exemplify this model in the analysis of a problem, making explicit a mathematical solution and an algorithmic solution.
Fichier principal
Vignette du fichier
TWG01_28_GS_AMR.pdf (531.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02398483 , version 1 (07-12-2019)

Identifiants

  • HAL Id : hal-02398483 , version 1

Citer

Simon Modeste, Sylvain Beauvoir, Jonathan Chappelon, Viviane Durand-Guerrier, Nicolás León, et al.. Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving. Eleventh Congress of the European Society for Research in Mathematics Education (CERME11), Utrecht University, Feb 2019, Utrecht, Netherlands. pp.284-291. ⟨hal-02398483⟩
164 Consultations
99 Téléchargements

Partager

Gmail Facebook X LinkedIn More