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 une substitution peut avoir lieu. Elle s'oppose à la notion de variable muette (encore appelée variable liée). En programmation informatique une variable libre est une variable référencée dans une fonction, qui n'est ni une variable locale, ni un paramètre de cette fonction.

Property Value
dbo:abstract
  • 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 une substitution peut avoir lieu. Elle s'oppose à la notion de variable muette (encore appelée variable liée). En programmation informatique une variable libre est une variable référencée dans une fonction, qui n'est ni une variable locale, ni un paramètre de cette fonction. (fr)
  • 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 une substitution peut avoir lieu. Elle s'oppose à la notion de variable muette (encore appelée variable liée). En programmation informatique une variable libre est une variable référencée dans une fonction, qui n'est ni une variable locale, ni un paramètre de cette fonction. (fr)
dbo:isPartOf
dbo:wikiPageID
  • 2023187 (xsd:integer)
dbo:wikiPageLength
  • 4795 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 171197546 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 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 une substitution peut avoir lieu. Elle s'oppose à la notion de variable muette (encore appelée variable liée). En programmation informatique une variable libre est une variable référencée dans une fonction, qui n'est ni une variable locale, ni un paramètre de cette fonction. (fr)
  • 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 une substitution peut avoir lieu. Elle s'oppose à la notion de variable muette (encore appelée variable liée). En programmation informatique une variable libre est une variable référencée dans une fonction, qui n'est ni une variable locale, ni un paramètre de cette fonction. (fr)
rdfs:label
  • Variable libre (fr)
  • Vollfreie Variable (de)
  • Variable libre (fr)
  • Vollfreie Variable (de)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of