La lettre de la Preuve |
|
ISSN 1292-8763 |
|
|
2000 |
Aczel J. C. (2000) The Evaluation of a Computer Program for Learning Logic: The Role of Students' Formal Reasoning Strategies in Visualising Proofs. CALRG Technical report 192. Computers and Learning Research Group, Institute of Educational Technology, The Open University, Milton Keynes, UK |
|
Burton L., Morgan C. (2000) Mathematicians writing. Journal for Research in Mathematics Education 31(4) 429-452 |
|
Caferra R., Peltier N., Puitg F. (2000) Emphasizing human technics in geometry automated theorem proving: a practical realization. In: Proceedings of the Third International Workshop on Automated Deduction in Geometry. Zurich, Switzerland, September 25-27, 2000. |
|
Font Moll V. (2000). Representaciones ostensivas que pueden ser activadas en el cálculo de f'(x). El caso de la función seno. UNO, 25, 21-40. |
|
Healy L., Hoyles C. (2000) A study of proof conception in algebra. Journal for Research in Mathematics Education 31(4) 396-428 |
|
Hoyles C., Healy L. (2000) Relacionando la argumentación informal con la demostración formal mediante experimentos pedagógicos computacionales. UNO, 25, 9-20. |
|
Krummheuer G. (2000) Mathematics learning in narrative classroom cultures: studies of argumentation in primary mathematics education [1]. For the Learning of Mathematics. 20(1) 22-32 |
|
Mancuso P. (2000) Mathematical explanation. In Grosholz E., Breger H. (eds.) The Growth of Mathematical Knowledge. Dordrecht: Kluwer Academic Publishers. |
|
Rodd M. M. (2000) On mathematical warrants: Proof does not always warrant, and a warrant may be other than proof. Mathematical Thinking and Learning 2(3) 221-244. |
|
Sfard A. (2000) Steering discourse between metaphors and rigor: using focal analysis to investigate the emergence of mathematical objects. Journal for Research in Mathematics Education 31(3) 296-327 |
1999 |
Bornat R., Sufrin B.A. (1999) Animating formal proof at the surface: the Jape proof calculator. The Computer Journal, 43(3), 177-192 |
![]() |
|
![]() |
|
L'axiomatique de Bachmann par |
Prueba, lingua y cultura Proof, language and culture |
|
|
A part of the proof website is now devoted to a repository of material which could help to inform research about the state of the teaching of proof in mathematics in different countries. All contributions are welcome... ![]() See also La lettre de la Preuve, septembre/octobre 1999, concerning issues related to proof and culture. |
|
![]()
![]()
![]()
![]()
|