Beta reducere

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 .

---