Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02398483
Contributor : Michiel Veldhuis <>
Submitted on : Saturday, December 7, 2019 - 3:36:21 PM
Last modification on : Thursday, May 14, 2020 - 11:16:04 AM
Long-term archiving on: : Sunday, March 8, 2020 - 1:56:17 PM

File

TWG01_28_GS_AMR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02398483, version 1

Citation

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, Utrecht University, Feb 2019, Utrecht, Netherlands. ⟨hal-02398483⟩

Share

Metrics

Record views

63

Files downloads

67