Sylvain BEAUVOIR
3
Documents
Publications
|
Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solvingEleventh Congress of the European Society for Research in Mathematics Education (CERME11), Utrecht University, Feb 2019, Utrecht, Netherlands. pp.284-291
Communication dans un congrès
hal-02398483v1
|
|
Une analyse des exercices d'algorithmique et de programmation des DNBCommission inter-IREM informatique. 2023
Rapport
hal-03996891v2
|
|
ANALYSE DES CONTRÔLES LORS DE LA RÉSOLUTION ALGORITHMIQUE OU MATHÉMATIQUE D'UN PROBLÈMEEspace Mathématiques Francophone 2018, Oct 2018, Genevilliers, France. , Actes du Colloque EMF 2018. Mathématiques en scène des ponts entre les disciplines
Poster de conférence
hal-03624013v1
|