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...

Szczegółowa specyfikacja

Opis bibliograficzny

Główni autorzy:	Barrier, Thomas, Hajji, Azzedine
Format:	Artigo
Język:	Francês
Wydane:	Institut de recherche sur l’enseignement des mathématiques (IREM) 2019
Hasła przedmiotowe:	géométrie logique dialogique position énonciative arithmétique démonstration
Dostęp online:	https://doi.org/10.4000/adsc.622 https://hdl.handle.net/20.500.13089/9adn https://journals.openedition.org/adsc/622
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!