Variable liée
- Variable liée
-
Variable libre
En programmation informatique une variable libre est une variable référencée dans une fonction et qui n'est pas une variable locale, ni un paramètre de cette fonction.
En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression mathématique une substitution peut avoir lieu. Cette idée est liée à celle de marque substitutive (un symbole qui sera plus tard remplacé par une chaîne littérale), ou de caractère joker qui tient lieu de symbole non spécifié.
Source
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Free variable ».
Voir aussi
Portail de l’informatique
Portail des mathématiques
Catégories : Logique mathématique | Informatique théorique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Variable liée de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Variable liée — ● Variable liée variable à laquelle est attribué un quantificateur … Encyclopédie Universelle
Variable apparente ou variable liée — ● Variable apparente ou variable liée celle qui figure dans une expression dont la valeur ne dépend pas de cette variable … Encyclopédie Universelle
variable — [ varjabl ] adj. et n. • fin XII e; lat. variabilis 1 ♦ Qui est susceptible de se modifier, de changer souvent au cours d une durée. ⇒ changeant, 1. incertain, instable. Temps variable. N. m. Météor. L aiguille du baromètre est au variable, sur… … Encyclopédie Universelle
Variable apparente — ● Variable apparente synonyme de variable liée … Encyclopédie Universelle
Variable (mathématiques) — Pour les articles homonymes, voir variable. En mathématiques et en logique, une variable est un symbole utilisé pour marquer un rôle dans un prédicat, une formule ou un algorithme. Sommaire 1 Notion intuitive de variable … Wikipédia en Français
Variable libre — En mathématiques, et dans d autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre ou variable parlante est une notation qui spécifie à quelles places dans une expression mathématique (en) une… … Wikipédia en Français
Variable (informatique) — Pour les articles homonymes, voir variable. En informatique, les variables associent un nom (le symbole) à une valeur ou un objet, elles font partie des identificateurs. La notion de variable est alors intimement liée au langage de programmation … Wikipédia en Français
Variable d'environnement — En informatique, les variables d’environnement sont des variables dynamiques utilisées par les différents processus d’un système d’exploitation (Windows, Unix, etc.). Elles servent à communiquer des informations entre programmes qui ne se… … Wikipédia en Français
Variable cataclysmique — Vue d artiste d une variable cataclysmique Une étoile variable cataclysmique (CV en anglais) est un type d étoile binaire. Elle est constituée de deux étoiles : une primaire naine blanche, et une secondaire lui transférant sa masse. On… … Wikipédia en Français
Variable dépendante — Une variable dépendante dans un problème est un paramètre du problème qui varie sous l influence d autres paramètres du problème (qui eux mêmes peuvent varier, et sont soit d autres variables dépendantes, soit des variables indépendantes). Cela… … Wikipédia en Français
