Uitdrukking (wiskunde): verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Samengevoegd met Expressie (wiskunde)
JRB (overleg | bijdragen)
Geen bewerkingssamenvatting
Regel 1:
In de [[wiskunde]] en [[informatica]] is een '''uitdrukking''' of '''expressie''' een taalfragment dat een waarde representeert. Een uitdrukking geeft een welgevormde combinatie of logische coëxistentie van [[Lijst van wiskundige symbolen|wiskundige symbolen]] weer.
 
Zo is bijvoorbeeld
:<math>2x + 4 = 0\,</math>
een uitdrukking, terwijl
:<math>\frac{)x)}{0}</math>
dit niet is, aangezien de [[haakje]]s niet zijn uitgebalanceerd (er staat geen enkel haakje naar links en twee haakjes naar rechts) en [[delen door nul]] niet [[ongedefinieerde uitdrukking|gedefinieerd]] is.
 
Niet ieder grammaticaal welgevormd taalfragment is een expressie. Gegeven de functie
Regel 7 ⟶ 13:
:''ƒ''(3)
grammaticaal welgevormd, maar desondanks geen uitdrukking. ''ƒ'' is immers niet gedefinieerd op het getal 3 en ''ƒ''(3) representeert daardoor geen waarde.
 
Een numerieke uitdrukking representeert een numerieke waarde, een [[Booleaanse algebra|Booleaanse]] uitdrukking een Booleaanse waarde, enzovoort. "2", "''π''" en "(2+1)*3" zijn alle drie voorbeelden van numerieke uitdrukkingen. "Waar" en "niet onwaar" zijn voorbeelden van Booleaanse uitdrukkingen.
 
Als er variabelen in het taalfragment voorkomen dan is het fragment een uitdrukking indien hij een waarde representeert wanneer alle variabelen [[Binding van variabelen|gebonden]] zijn. "''a''+''b''" is een uitdrukking omdat dit taalfragment een waarde representeert wanneer voor ''a'' en ''b'' getallen ingevuld worden.
 
Een uitdrukking is een [[Syntaxis (logica)|syntactisch]] concept – de betekenis van [[variabele]]n is niet irrelevant, maar verschillende deelgebieden van de wiskunde hebben verschillende noties van wat wel en niet is toegestaan (validiteit). Zie het artikel over [[formele taal]] voor een beschrijving hoe uitdrukkingen worden geconstrueerd en het artikel over [[formele semantica]] voor de betekenis daarvan.
 
==Types uitdrukkingen==