« Régression de buts » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| (2 versions intermédiaires par un autre utilisateur non affichées) | |||
| 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 7 : | Ligne 5 : | ||
== Français == | == Français == | ||
''' | ''' régression de buts''' | ||
''' | ''' régression de but''' | ||
''' | ''' substitution régressive''' | ||
== Anglais == | == Anglais == | ||
''' | ''' goal regression''' | ||
== Sources == | == Sources == | ||
| 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 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
