Espressione matematica


Un'espressione matematica è un insieme di numeri legati da segni di operazioni matematiche, detti operatori matematici.

Indice

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 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 "variabili libere" che non sono definite nell'espressione, ma si ricavano dal contesto. Due espressioni si dicono 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.

Regole delle espressioni


Nelle espressioni valgono alcune convenzioni da rispettare riguardo all'ordine delle operazioni:

Voci correlate


Altri progetti











Categorie: Matematica




Data: 12.05.2021 11:02:45 CEST

Sorgente: Wikipedia (Autori [Cronologia])    Licenza: CC-BY-SA-3.0

Modifiche: Tutte le immagini e la maggior parte degli elementi di design correlati a questi sono stati rimossi. Alcune icone sono state sostituite da FontAwesome-Icons. Alcuni modelli sono stati rimossi (come "l'articolo ha bisogno di espansione) o assegnati (come" note "). Le classi CSS sono state rimosse o armonizzate.
Sono stati rimossi i collegamenti specifici di Wikipedia che non portano a un articolo o una categoria (come "Redlink", "collegamenti alla pagina di modifica", "collegamenti a portali"). Ogni collegamento esterno ha un'icona FontAwesome aggiuntiva. Oltre ad alcuni piccoli cambiamenti di design, sono stati rimossi i media container, le mappe, i box di navigazione, le versioni vocali e i geoformati.

Notare che Poiché il dato contenuto viene automaticamente prelevato da Wikipedia in un determinato momento, una verifica manuale è stata e non è possibile. Pertanto LinkFang.org non garantisce l'accuratezza e l'attualità del contenuto acquisito. Se ci sono informazioni che al momento sono sbagliate o che hanno una visualizzazione imprecisa, non esitate a Contattaci: e-mail.
Guarda anche: Impronta & Politica sulla riservatezza.