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

Simon Modeste; Sylvain Beauvoir; Jonathan Chappelon; Viviane Durand-Guerrier; Nicolás León; Antoine Meyer

Retour

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

Acte de colloque

Open Access

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

Simon Modeste, Sylvain Beauvoir, Jonathan Chappelon, Viviane Durand-Guerrier, Nicolás León et Antoine Meyer

CERME11, Vol.TWG01(28), pp.284-291

Eleventh Congress of the European Society for Research in Mathematics Education (CERME11) (Utrecht, Netherlands, 06/02/2019–10/02/2019)

Résumé

Mathematics

Computer science

Proof

Reasoning

Problem solving

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 explicita mathematical solution and an algorithmic solution.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving
Créateurs - sans rôle: Simon Modeste - Université de Montpellier, Institut Montpelliérain Alexander Grothendieck - IMAG
Sylvain Beauvoir - Université de Montpellier, Institut Montpelliérain Alexander Grothendieck - IMAG
Jonathan Chappelon - Université de Montpellier, Institut Montpelliérain Alexander Grothendieck - IMAG
Viviane Durand-Guerrier - Université de Montpellier, Institut Montpelliérain Alexander Grothendieck - IMAG
Nicolás León - Université de Montpellier, Institut Montpelliérain Alexander Grothendieck - IMAG
Antoine Meyer - Université Paris-Est Marne-la-Vallée
Contributeurs - sans rôle: Uffe Thomas Jankvist
Marja van den Heuvel-Panhuizen
Michiel Veldhuis
Détails de publication: CERME11, Vol.TWG01(28), pp.284-291
Colloque: Eleventh Congress of the European Society for Research in Mathematics Education (CERME11) (Utrecht, Netherlands, 06/02/2019–10/02/2019)
Identifiants: 9939594609311
Unité académique: Institut Montpelliérain Alexander Grothendieck - IMAG
Langue: English
Type de ressource: Conference proceeding
Champs locaux: hal-02398483