« Régression de buts » : différence entre les versions
(Page créée avec « == en construction == == Définition == xxxxxx Voir aussi '''apprentissage basé sur l'explication''' == Français == ''' Régression de buts''' ''' Régression de but''' ''' Substitution régressive''' == Anglais == ''' Goal Regression''' == Sources == [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=r%C3%A9gression+de+buts&index=alt&codom2nd_wet=1#resultrecs Source : TERMIUM Plus] [https://vitrinelinguistique.oqlf.g... ») |
Aucun résumé des modifications |
||
| (3 versions intermédiaires par 2 utilisateurs 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. | |||
Voir aussi '''[[apprentissage basé sur l'explication]]''' | Voir aussi '''[[apprentissage basé sur l'explication]]''' | ||
== 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
