Espressione matematica: differenze tra le versioni

Versione delle 23:24, 20 mag 2022

Versione delle 19:00, 8 ott 2022

Riga 1:

{{F|matematicaMatematica |maggio 2013}}

{{S|matematicaMatematica}}

Un''''espressione matematica''' è un insieme di [[numeri]] legati da segni di operazioni [[Matematica| matematiche]], detti [[Operatore (matematica)|operatori matematicimatemat]]<ref>{{Cita pubblicazione|nome=Geoffrey M.|cognome=Ngene|nome2=Yea|cognome2=Lee Kim|nome3=Jinghua|cognome3=Wang|data=2019-09|titolo=Who poisons the pool? Time-varying asymmetric and nonlinear causal inference between low-risk and high-risk bonds markets|rivista=Economic Modelling|volume=81|pp=136–147|accesso=2022-10-08|doi=10.1016/j.econmod.2018.12.017|url=http://dx.doi.org/10.1016/j.econmod.2018.12.017}}</ref>

Le espressioni e la loro valutazione furono formalizzate da [[Alonzo Church]] e [[Stephentephen Kleene]] negli [[anni 1930]] nel loro [[lambda calcolo]]. Il calcolo lambda ha avuto importanti implicazioni nello sviluppo della matematica moderna e dei [[linguaggio di programmazione |linguaggi di programmazione]] per [[computer]].

== Storia ==

Le espressioni e la loro valutazione furono formalizzate da [[Alonzo Church]] e [[Stephen Kleene]] negli [[anni 1930]] nel loro [[lambda calcolo]]. Il calcolo lambda ha avuto importanti implicazioni nello sviluppo della matematica moderna e dei [[linguaggio di programmazione|linguaggi di programmazione]] per [[computer]].

== Caratteristiche generali ==

Le espressioni possono essere valutate a valori, e si può dire che rappresentano quei valori. La determinazione del valore di un'espressione dipende dalla definizione degli operatori matematici e del sistema di valori che forma il suo contesto.

Le espressioni possono avere "[[variabile libera| variabili libere]]" che non sono definite nell'espressione, ma si ricavano dal contesto. Due espressioni si dicono [[equivalente| equivalenti]] se, valutate, determinano lo stesso valore.

Uno dei risultati più interessanti del calcolo lambda è che l'equivalenza di due espressioni è in alcuni casi [[indecidibile]]. Ciò è vero anche per espressioni in qualunque sistema che ha potenza equivalente al calcolo lambda.

Line 17 ⟶ 16:

* Si svolgono prima le operazioni tra le [[parentesi tonde]], poi quelle tra le [[parentesi quadre]], dopo quelle tra le [[parentesi graffe]], infine quelle all'esterno delle parentesi.

* Si svolgono prima le [[potenza (matematica)|potenze]], poi le [[moltiplicazione| moltiplicazioni]] e le [[Divisione (matematica)|divisioni]], infine le [[addizione| addizioni]] e le [[sottrazione| sottrazioni]] se si trovano nelle stesse parentesi.

== Voci correlate ==