5109637049
Indeksy de Bruijna
Cel
► reprezentacja termów, która nie wymaga przemianowania zmiennych przy podstawieniu
► a-równoważne termy są identyczne
Rozwiązanie
► zmienne reprezentowane za pomocą liczb naturalnych (indeksy de Bruijna)
► indeks de Bruijna określa odległość (liczba dzielących je A) zmiennej od wiążącej ją lambdy
► przykłady
Ax.x i—>• A.O
Ax.Ay.x(yx) i—A.A.l (01)
Wyszukiwarka
Podobne podstrony:
Indeksy de Bruijna, c.d. ► podstawienie k{s/k} k{s/j)(A .t){s/J} {to ti){s/j} ► przesunięcie
279 prostopadłych jest - jak wiadomo - informacją oczywistą, która nie wymaga opisu za pomocą wymiar
Slajd5 Parć Central de N< Yirrei Amat, Barcel • Dzielnica Nou Barris to część Barcelony, która ni
Chockrlos de Laclos, Niebezpieczne zuńązfi Innym przykładem książki, która nie stała się
skanuj0012 (235) MISTRZ powstawszy wznosząc z tej pożoi że sit tak jak się grozi jedyna Liczba która
Formy ruchu przy muzyce 7 Zachodniej. Jest to forma ćwiczeń, która nie powinna się kojarzyć z brutal
skanuj0335 (2) 350 PHP i MySQL dla każdego już indeks związany w tym kluczem. Z tego samego względu
img075 swoich córek, zwłaszcza najmłodszej, która nie podnosiła się już z kanapy. - Idę po dźwig - m
czasie dużo uwolnionego tłuszczu. Wychwytuje go wątroba, która nie jest w stanie przetworzyć go w ca
widocznie mu to nie przeszkadzało. Natomiast bardzo przeszkadzało Elżbiecie, która nie była w stanie
dawania, miłowania, trwania, rodzenia. To płodność, która nie jest ze mnie, ale z Niego, niemniej pr
s076 (2) żeli znajdziesz wodę, która nie jest poważnie zanieczyszczona taniną, oczyść ją przed
Obraz8 Ukryte zagrożenie! zdrowa żywność, która nie jest zdrowa dla mózgu Stosowanie przemocy
IMG469 (5) 44 (De)Kotistrukcje kobiecości rem taka, która zaakceptuje własną podrzędność, przedmio-t
więcej podobnych podstron