Expresia 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 a sistemului de valori care formează contextul acesteia.

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 din orice sistem care are o putere echivalentă cu calculul lambda.

Reguli de expresie

Î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ă