Search - Institut de Mathématiques et de Modélisation de Montpellier Access content directly

Filter your results

5 Results
Domains : math.math-lo
Image document

Didactical issues at the interface of mathematics and computer science

Viviane Durand-Guerrier , Antoine Meyer , Simon Modeste
Proof Technology in Mathematics Research and Teaching, 14, Springer International Publishing, pp.115-138, 2019, Mathematics Education in the Digital Era, ⟨10.1007/978-3-030-28483-1_6⟩
Book sections hal-01912885v1

Contributions of logical analysis for mathematics education

Viviane Durand-Guerrier
Béziau, Jean-Yves; Desclés, Jean-Pierre; Moktefi, Amirouche; Pascu, Anca Christine. Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Springer International Publishing; Birkhäuser Basel; Springer International Publishing Switzerland, pp.549-561, 2023, Studies in Universal Logic, https://doi.org/10.1007/978-3-030-94452-0_29. ⟨10.1007/978-3-030-94452-0⟩
Book sections hal-02070085v1

Logic in University Mathematics Education

Viviane Durand-Guerrier , Paul Christian Dawkins
Lerman S. Encyclopedia of Mathematics Education, Springer, 2018, 978-94-007-4977-1. ⟨10.1007/978-3-319-77487-9_100024-1⟩
Book sections hal-02072331v1
Image document

Eléments de théorie des matroïdes et matroïdes orientés

Emeric Gioan , Jorge Ramirez Alfonsin
Philippe Langlois. Informatique mathématique - Une photographie en 2013, Presses Universitaires de Perpignan, pp.47-95, 2013, I-2.Théorie des matroïdes et des matroïdes orientés, 9782354121839
Book sections lirmm-01398338v1

L’analyse logique comme outil pour les études didactiques en mathématiques

Thomas Barrier , Viviane Durand-Guerrier , Zoé Mesnil
Éducation & Didactique, 2019, 13 (1), pp.61-81. ⟨10.4000/educationdidactique.3793⟩
Journal articles hal-02070074v1