Skip to Main content Skip to Navigation
Theses

Les graphes de démonstration : outil pour l'étude des démonstrations naturelles

Nicolas Balacheff 1
1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
Résumé : Etude des résolutions de problèmes mathématiques par des personnes parvenues au stade hypothético-déductif exprimées par un discours. Présentation d'un outil pour l'étude des raisonnements naturels.
Mots-clés : intelligence artificielle graphes démonstration formelle représentation comportements heuristiques méthode heuristique résolution démonstration automatique enseignement introspection logique mathématique
Document type :
Theses
Complete list of metadatas
https://tel.archives-ouvertes.fr/tel-00287846
Contributor : Thèses Imag <>
Submitted on : Friday, June 13, 2008 - 10:12:33 AM
Last modification on : Friday, November 6, 2020 - 4:10:32 AM
Long-term archiving on: : Friday, May 28, 2010 - 10:19:04 PM

File

Vignette du document
Balacheff.Nicolas_1978_these.p...

Identifiers

  • HAL Id : tel-00287846, version 1

Collections

CNRS | DIDACTIQUE | TDS-MACS | UGA

Citation

Nicolas Balacheff. Les graphes de démonstration : outil pour l'étude des démonstrations naturelles. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1978. Français. ⟨tel-00287846⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

382

Files downloads

145