Uitdrukking (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
|||
Regel 6:
Niet ieder grammaticaal welgevormd taalfragment is een expressie. Gegeven de functie
:<math>f:\N\to \N:x\mapsto x+7</math>
is het fragment
:
grammaticaal welgevormd, maar desondanks geen uitdrukking
Als er variabelen in het fragment voorkomen
==Types uitdrukkingen==
* [[Rekenen|Rekenkundige]] uitdrukkingen:
::<math>4 + 3
* [[Algebra]]ïsche uitdrukkingen:
Regel 35 ⟶ 34:
**[[Exponentiële functie|Exponentiële uitdrukkingen]]:
:::<math>\
**[[Goniometrie|Goniometrische uitdrukkingen]]:
:::<math>\frac{\
* [[Imaginair getal|Imaginaire]] of [[Complex getal|complexe]] uitdrukkingen:
::<math>(i + 1)^{21}
* [[Transcendent getal|Transcendente]] uitdrukkingen:
::<math>y \cdot e^y + x
==Manipuleren van uitdrukkingen==
Regel 53 ⟶ 52:
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
is gelijk aan
:<math>
==Variabelen==
Regel 63:
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 (wiskunde)|functie]].
:<math>\frac{x}{y}</math>
bijvoorbeeld, zal geëvalueerd voor
De evaluatie van een uitdrukking hangt af van de definitie van de wiskundige [[operator (wiskunde)|operator]]en op het waardesysteem dat in de definitie van deze operator ligt besloten.
Regel 74:
De volgende twee uitdrukkingen zijn equivalent:
:<math>\sum_{n=1}^
Voor elke reële waarde van <math>x</math> geven ze hetzelfde resultaat.
▲Voor elke reële waarde van x geven ze hetzelfde resultaat. Bijvoorbeeld voor ''x''=3 is de waarde 36.
== Lambdacalculus ==
|