Espressione matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m Annullate le modifiche di Trapani (discussione), riportata alla versione precedente di 2.193.194.70 |
||
Riga 1:
{{S|matematica}}
La descrizione più semplice di espressione aritmetica é: "insieme ordinato di operazioni aritmetiche". Consiste cioè in una serie di operazioni di calcolo (addizione, sottrazione, moltiplicazione e divisione) che si susseguono e che possono comprendere un solo tipo (ad esempio solo addizioni) oppure comprederle tutte.
L' ''espressione''' combina [[operatore (matematica)|operatori]], [[numero|numeri]] e/o [[variabile (matematica)|variabili]]. Le espressioni possono essere [[valutazione|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.
La descrizione più semplice è di "un insieme ordinato di operazioni aritmetiche". Consiste quindi in una serie di operazioni di calcolo (addizione, sottrazione, moltiplicazione e divisione) che si susseguono e che possono essere di sole addizioni o sottrazioni o moltiplicazioni o divisioni oppure compredere tutte queste.
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.
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]].
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.
==Voci correlate==
|