Espressione matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Annullata la modifica di 151.55.186.48 (discussione), riportata alla versione precedente di Mat4free Etichette: Rollback SWViewer [1.6] |
m Annullate le modifiche di 79.59.253.75 (discussione), riportata alla versione precedente di Simone Biancolilla Etichette: Rollback Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata |
||
| (4 versioni intermedie di 3 utenti non mostrate) | |||
Riga 8:
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 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.▼
▲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 ==
Line 27 ⟶ 29:
== Altri progetti ==
{{Interprogetto|etichetta=espressione|wikt=espressione}}
== Collegamenti esterni ==
* {{Collegamenti esterni}}
{{Portale|matematica}}
| |||