« Substitution de base » : différence entre les versions
m (Pitpitt a déplacé la page Ground substitution vers Substitution de base) |
Aucun résumé des modifications |
||
| Ligne 8 : | Ligne 8 : | ||
'''ground substitution''' | '''ground substitution''' | ||
| Ligne 18 : | Ligne 17 : | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie: | |||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Version du 30 avril 2023 à 13:50
Définition
Une substitution est appelée substitution de base si elle transforme toutes les variables de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes.
Français
substitution de base
Anglais
ground substitution
Contributeurs: Maya Pentsch, wiki
