expresie matematică

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

O expresie matematică este un set de numere legate prin semne de matematice operațiuni, denumite operatori matematici .

Istorie

Expresiile și evaluarea lor au fost formalizate de către Biserica Alonzo și Ștefan Kleene în 1930 , în lor de calcul lambda . Lambda calcul a avut implicații importante în dezvoltarea matematicii moderne și calculator limbaje de programare .

Caracteristici generale

Expresiile pot fi evaluate pe valori, și se poate spune că reprezintă acele valori. Determinarea valorii unei expresii depinde de definirea operatorilor matematici și sistemul de valori care formează contextul său.

Expresiile pot avea „ variabile libere “ , care nu sunt definite în expresia, dar sunt luate din context. Două expresii se spune că sunt echivalente în cazul în care , atunci când evaluate, acestea determină aceeași valoare.

Una dintre cele mai multe rezultate interesante ale calculului lambda este că echivalența a două expresii este , în unele cazuri indecidabilă . Acest lucru este valabil și pentru expresiile în orice sistem care are o putere echivalentă cu lambda calcul.

reguli de exprimare

În expresiile există unele convenții care trebuie respectate în ceea ce privește ordinea operațiilor :

Elemente conexe

Alte proiecte

Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică