« Substitution de base » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xx... ») Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== 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 == | == Français == | ||
'''substitution de base''' | |||
== Anglais == | == Anglais == | ||
| Ligne 21 : | Ligne 15 : | ||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | ||
[https://en.wikipedia.org/wiki/Substitution_(logic) Source : Wikipedia ] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:publication]] | |||
Version du 30 avril 2023 à 11:23
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
a substitution of constants or functions of constants for variables.
Contributeurs: Maya Pentsch, wiki
