Z Wikipedii

Konwersja α to operacja w rachunku lambda polegająca na zamianie zmiennej określanej przez lambdę oraz wszystkich jej wystąpień w wyrażeniu pod lambdą, na inną, nie kolidującą z żadną z lambd zewnętrznych lub wewnętrzynych.

Przykłady prawidłowych kowersji α:

• λ x . λ y . x y -> λ z . λ y . z y
• λ x . λ y . x y -> λ x . λ z . x z

Przykłady nieprawidłowych konwersji α:

• λ x . λ y . x y -> λ x . λ x . x x
• λ x . λ y . x y -> λ y . λ y . y y

Konwersja α jest trywialna, jest jednak ważna, gdyż pozwala unikać kolizji zmiennych.

[edytuj] Zobacz też

• redukcja β

Parlament zostaje. Do czwartku

Kryzys polityczny na Ukrainie przedłuża się. Wbrew oczekiwaniom, prezydent Wiktor Juszczenko nie zarządził rozwiązania jednoizbowej Rady Najwyższej, ale utrzymał perspektywę przedterminowych wyborów. Urzeczywistnienie tego scenariusza spodziewane jest teraz w czwartek.

Rosja przenosi wojska do Osetii PÅ‚d i Abchazji

Ruszyła operacja wycofania wojsk z tzw. strefy buforowej, którą Rosja arbitralnie ustanowiła wokół dwóch zbuntowanych republik gruzińskich. Świadkowie potwierdzają, że kolumna 50-60 rosyjskich pojazdów opuszczała bazę Urta w pobliżu Zugdidi w zachodniej Gruzji, kierując się w stronę Abchazji - donosi Reuters.

Obama prezydentem? "Prawie na pewno"

- Obama prawie na pewno zostanie prezydentem USA i będziemy mieli przed sobą bardzo trudny i bardzo, w cudzysłowie, ciekawy okres - tak amerykanista, profesor Zbigniew Lewicki komentował wyścig do fotela prezydenta, po kolejnym starciu kandydatów.

Rosyjscy nacjonaliści w obronie Jaruzelskiego

"Ręce precz od Jaruzelskiego" - pod tym hasłem odbędzie się środowa pikieta rosyjskich nacjonalistów przed budynkiem polskiej ambasady w Moskwie. Działacze Euroazjatyckiego Związku Młodzieży uważają, że sąd nad generałem jest zapowiedzią "NATO-wskiej i amerykańskiej agresji przeciwko Rosji".

Katastrofa lotnicza pod Mount Everest

18 osób zginęło podczas nieudanego lądowania niewielkiego samolotu pasażerskiego na lotnisku u stóp Himalajów w Nepalu. Większość spośród ofiar to niemieccy turyści - podają lokalne media.