Beta reducere
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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 .