« Régression de buts » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 5 : | Ligne 5 : | ||
== Français == | == Français == | ||
''' | ''' régression de buts''' | ||
''' | ''' régression de but''' | ||
''' | ''' substitution régressive''' | ||
== Anglais == | == Anglais == | ||
''' | ''' goal regression''' | ||
== Sources == | == Sources == | ||
Dernière version du 20 août 2025 à 16:25
Définition
Technique permettant d'élargir une preuve formelle en progressant à reculons à partir du but et en généralisant les préconditions des règles appliquées à chaque étape.
Voir aussi apprentissage basé sur l'explication
Français
régression de buts
régression de but
substitution régressive
Anglais
goal regression
Sources
Contributeurs: Arianne Arel, wiki
