Exemple, explication et processus de démonstration
The article looks at the proving process in mathematics from a didactic perspective. The study seeks to identify what metamathematics knowledge is at stake when mathematicians produce proof of implications with universal quantifiers. For this reason, we propose a modelling of the proof process – fro...
Guardado en:
| Publicado en: | URI:https://journals.openedition.org/adsc, |
|---|---|
| Autores principales: | Barrier, Thomas, Hajji, Azzedine |
| Formato: | Article ou chapitre numérique |
| Lenguaje: | Français |
| Publicado: |
Annales de Didactique et de Sciences Cognitives
2022
|
| Materias: | |
| Acceso en línea: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
Ejemplares similares
- Variations et variables de la démonstration géométrique (Article revue INSPE)
-
Les démonstrations : l'art de convaincre
(Livre papier)
Cohen, Gilles, 1951-2023, mathématicien
Éditions Pole, 2015 - Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings (Livre numérique)
-
Qu'est-ce que les mathématiques ?
(Livre papier)
Verdier, Norbert, 1967-
Éditions Le Pommier, 2000 -
Automated deduction in equational logic and cubic curves
(Livre numérique)
McCune, William Walker, 1953-, et al.