Documents liés : [12 document(s)]

Documents (Mots clés)

• [IremOuvrage] Understanding the mathematical way of thinking. The registers of semiotic representations / Duval, Raymond. Springer, 2017. - XXIV-117 p. ; 25 cm
  ISBN 9783319569093
  
• [IremOuvrage] La logique -Paris : Pole, 2004. - 139 p. ; 24 cm
  ISBN 9782848840185
  
• [IremThèse] Le problème QAT, symétrie, vérification, algorithme de construction. La pratique de l'élève / Chevalier, Arlette. -Montpellier : Université des sciences et techniques du Languedoc, 1984. - 442 p. ; 30 cm
  
• [MathOuvrage] Theoretical concepts and hypothetico-inductive inference / Niiniluoto, Ilkka ; Tuomela, Raimo. -Dordrecht : D. Reidel publishing company, 1973. - x, 264 p. ; 23 cm
  
• [IremOuvrage] Les mathématiques / Bernard, Alain. -Montpellier : IREM de Montpellier, 1997. - 77 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/MO/IMO97002/IMO97002.pdf
  
• [IremOuvrage] Premier cycle, première année -Montpellier : IREM de Montpellier, 1974. - 86 p. ; 30 cm
  
• [IremOuvrage] Logique et enseignement de la mathématique / Gauthier, R. ; Gouret, A.. -Paris : OCDL;Hatier, 1971. - 96 p. ; 22 cm
  
• [IremOuvrage] Est-il impossible d'enseigner les mathématiques ? / Revuz, André. -Paris : Presses universitaires de France, 1980. - 153 p. ; 21 cm
  
• [IremThèse] The contribution of a formal study of algorithms on deductive reasoning ability of high school geometry students / Ernie, Kathryn Teresa Kelly. -Ann Arbor : University microfilms international, 1979. - VIII-235 p. ; 21 cm
  
• [MathOuvrage] Sweet reason / Tymoczko, Tom ; Henle, Jim. -New York NY : Springer, 2000. - xxii, 644 p. ; 24 cm
  https://link.springer.com/bookseries/3229
  
• [MathOuvrage] Complexity of proofs and their transformations in axiomatic theories / Orevkov, V.P. ; Trad. Bochman, Alexander ; Ed. Louvish, David. -Providence RI : American mathematical Society, 1993. - vi, 153 p. ; 26 cm
  
• [MathCongrès] Conditional term rewriting systems / Ed. Kaplan, S. ; Ed. Jouannaud, Jean-Pierre. -Berlin : Springer, 1988. - vi, 278
  https://link.springer.com/book/10.1007/3-540-19242-5