variable
- Domaines
-
- informatiqueprogrammation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Entité symbolique appartenant à un processus, et qui renvoie à une position de mémoire dont le contenu peut prendre successivement différentes valeurs pendant l'exécution du programme.
Notes :
En logique moderne, on fait une distinction entre une variable et une constante. Cela permet de distinguer la logique des propositions où n'apparaissent que des constantes, et la logique des prédicats dans laquelle on manipule des variables.
L'action qui consiste à donner une valeur à une variable est l'instanciation.
Une variable peut être quantifiée, non quantifiée, libre ou liée.
Terme privilégié :
- variable n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- variable
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- variable n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- variable s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: linguagens e ferramentas de IA.
Terme :
- variável s. f.