« Régression de buts » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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. | 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. | ||
| Ligne 21 : | Ligne 19 : | ||
[https://vitrinelinguistique.oqlf.gouv.qc.ca/fiche-gdt/fiche/8394259/regression-de-but Source : Vitrine linguistique, OQLF] | [https://vitrinelinguistique.oqlf.gouv.qc.ca/fiche-gdt/fiche/8394259/regression-de-but Source : Vitrine linguistique, OQLF] | ||
[[Catégorie: | |||
[[Catégorie:GRAND_LEXIQUE_FRANÇAIS]] | |||
Dernière version du 5 août 2025 à 09:49
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
