Uitdrukking (wiskunde)


In de wiskunde (inclusief de wiskundige logica) en de informatica is een uitdrukking of expressie een taalfragment dat een waarde representeert. Een uitdrukking geeft een welgevormde combinatie of logische samenstelling van wiskundige symbolen weer. Zo is bijvoorbeeld

\({\displaystyle 2x+4=0\,}\)

een uitdrukking, terwijl

\({\displaystyle {\frac {)x)}{0}}}\)

dit niet is, aangezien de haakjes links en rechts niet kloppen en delen door nul niet kan. De eerste uitdrukking heet welgevormd, de tweede uitdrukking is niet welgevormd.

Niet ieder grammaticaal welgevormd taalfragment is een expressie. Gegeven de functie

\({\displaystyle f:\mathbb {N} \to \mathbb {N} :x\mapsto x+7}\)

is het fragment

\({\displaystyle f(-3)}\)

grammaticaal welgevormd, maar desondanks geen uitdrukking, aangezien de functie \({\displaystyle f}\) niet gedefinieerd is voor het getal –3 en \({\displaystyle f(-3)}\) daardoor betekenisloos is.

Als er variabelen in het fragment voorkomen, is het fragment een uitdrukking indien de weergegeven waarde te berekenen is. In een context van reële getallen is \({\displaystyle a+b}\) een uitdrukking, omdat \({\displaystyle a}\) en \({\displaystyle b}\) betekenisvol door reële getallen vervangen kunnen worden. Een uitdrukking is een syntactisch concept, de betekenis van variabelen is relevant, maar verschillende deelgebieden van de wiskunde hebben verschillende noties van wat wel en niet is toegestaan. Zie het artikel over formele taal voor een beschrijving hoe uitdrukkingen worden geconstrueerd .

Inhoud

Types uitdrukkingen


\({\displaystyle 4+3}\)
\({\displaystyle 4x^{5}-{\frac {6x^{4}}{11}}-x^{3}{\sqrt {2}}+x^{2}+{\frac {x}{7}}-{\frac {13}{6}}}\)
\({\displaystyle y={\frac {x}{2}}+13}\)
\({\displaystyle {\frac {x^{2}+5x-3}{x-2}}}\)
\({\displaystyle {\big (}{\tfrac {2}{3}}{\big )}^{x+4}}\)
\({\displaystyle {\frac {\sin 2\alpha }{\cot 3\alpha }}+\cos ^{2}\alpha }\)
\({\displaystyle (i+1)^{21}}\)
\({\displaystyle y\cdot e^{y}+x}\)

Manipuleren van uitdrukkingen


Net zoals uitdrukkingen worden gevormd volgens zekere regels (regels die in de diverse deelgebieden van de wiskunde kunnen verschillen), kan men vaak, volgens vastgestelde regels, een nieuwe vorm aan een uitdrukking geven, soms zijn deze regels zeer algemeen, soms specifiek en alleen toepasbaar in een specifiek deelgebied van de wiskunde.

Voorbeeld: de uitdrukking

\({\displaystyle x^{2}+3x-4}\)

is gelijk aan

\({\displaystyle (x+4)(x-1)}\).

Variabelen


Veel verschillende uitdrukkingen bevatten letters. Deze letters worden variabelen genoemd. Variabelen kunnen worden onderverdeeld in twee hoofdgroepen. Men onderscheidt de vrije variabele en de gebonden variabele.

Voor sommige combinaties van waarden voor de vrije variabelen kan een uitdrukking worden geëvalueerd. Voor andere combinaties van waarden kan de uitdrukking ongedefinieerd zijn. De uitdrukking is op deze manier een uitdrukking van een functie.

De uitdrukking

\({\displaystyle {\frac {x}{y}}}\)

bijvoorbeeld, zal geëvalueerd voor \({\displaystyle x=10,\ y=5,}\) als resultaat 2 geven, maar ze is ongedefinieerd voor \({\displaystyle x=7,\ y=0.}\)

De evaluatie van een uitdrukking hangt af van de definitie van de wiskundige operatoren op het waardesysteem dat in de definitie van deze operator ligt besloten.

Van twee uitdrukkingen zegt men deze equivalent (gelijkwaardig) zijn als zij voor elke combinatie van waarden van de vrije variabelen hetzelfde resultaat geven, waardoor zij in feite dezelfde functie representeren.

De volgende twee uitdrukkingen zijn equivalent:

\({\displaystyle \sum _{n=1}^{3}2nx\quad }\) en \({\displaystyle \quad 12x}\)

Voor elke reële waarde van \({\displaystyle x}\) geven ze hetzelfde resultaat. Voor bijvoorbeeld \({\displaystyle x=3}\) is de waarde van beide uitdrukkingen 36.

Lambdacalculus


Uitdrukkingen en hun evaluatie zijn in de jaren dertig van de twintigste eeuw door Alonzo Church en Stephen Kleene geformaliseerd in hun lambdacalculus. Deze lambdacalculus is de laatste tachtig jaar van grote invloed geweest op de ontwikkeling van de moderne wiskunde en computertalen. Een van de interessantste resultaten is de ontdekking dat de equivalentie van twee uitdrukkingen in de lambdacalculus in sommige gevallen onbeslisbaar is. Dit geldt voor enige uitdrukking in enig systeem dat een kracht heeft die vergelijkbaar is met de lambdacalculus.

Zie ook











Categorieën: Wiskundige terminologie | Algebra




Staat van informatie: 21.12.2020 12:23:45 CET

oorsprong: Wikipedia (Auteurs [Geschiedenis])    Licentie: CC-BY-SA-3.0

Veranderingen: Alle afbeeldingen en de meeste ontwerpelementen die daarmee verband houden, zijn verwijderd. Sommige pictogrammen werden vervangen door FontAwesome-Icons. Sommige sjablonen zijn verwijderd (zoals 'artikel heeft uitbreiding nodig') of toegewezen (zoals 'hatnotes'). CSS-klassen zijn verwijderd of geharmoniseerd.
Specifieke Wikipedia-links die niet naar een artikel of categorie leiden (zoals 'Redlinks', 'links naar de bewerkpagina', 'links naar portals') zijn verwijderd. Elke externe link heeft een extra FontAwesome-Icon. Naast enkele kleine wijzigingen in het ontwerp, werden mediacontainer, kaarten, navigatiedozen, gesproken versies en Geo-microformats verwijderd.

Belangrijke opmerking Omdat de gegeven inhoud op het gegeven moment automatisch van Wikipedia wordt gehaald, was en is een handmatige verificatie niet mogelijk. Daarom garandeert LinkFang.org niet de juistheid en actualiteit van de verkregen inhoud. Als er informatie is die momenteel verkeerd is of een onjuiste weergave heeft, aarzel dan niet om Neem contact op: E-mail.
Zie ook: Afdruk & Privacy policy.