Difference between revisions of "Beta reducere"
Jump to navigation
Jump to search
(No difference)
|
Latest revision as of 10:42, 29 January 2010
Beta reducere
In esenta nu este decat transcrierea unei operatii invatate in clasele anterioare: Inlocuirea intr-o functie a valorii (sau expresiei) parametrului pentru a obtine valoarea (sau expresia) rezultatului.
Ex: (\ x-> x+1) 7
= > x+1 | x=7
= > 7+1
= > 8
Ex: ( \x -> x+2)(y+2)
= > (y+2)+2
= > y+4
Totul insa intr-un riguros cadru matematic care tine cont si de eventualele confuzii de nume care pot apare intre variabilele din expresia functiei si cele din expresia de inlocuit. Asa ca cititi si despre variabile libere in cursul prof. M.Gordon .