3148972490

3148972490



Kombinatory punktu stałego

Kombinator Turinga

Czasem potrzebujemy kombinatora punktu stałego M z nieco mocniejszą własnością:

\/F.MF F(MF).

Turing zaproponował następujący kombinator:

0 = AA gdzie A = Axy.y{xxy).

®F = (\xy.y(xxy))AF ->0 {>*y-y{AAy))F *0 F(AAF)

= F{@F)

Zauważ, że dla kombinatora Y można udowodnić tylko YF =0 F(YF).

Istnieje nieskończenie wiele kombinatorów punktu stałego.

Zdzisław Spławski: Teoretyczne Podstawy Języków Programowania, Wykład 4. Siła wyrazu rachunku



Wyszukiwarka

Podobne podstrony:
IMG 1404015354 Oś czterokrotna działa następująco. W tym przypadku punkt P powsta-ły z punktu P .v
skanuj0028(2) Zakażenia szpitalne Tabela 5.4. Zależność pomiędzy zawartością powietrza w parze a cza
Jak roztopić czekoladę Jak roztopić czekoladę? Płynna czekolada bywa czasem potrzebna do ciast
bruzdkowanie03 Czasem płaszczyzny symetrii ustalają się nieco później (bruzdkowa-nie spiralne) albo
Kombinatory punktu stałegoPrzykład użycia kombinatora punktu stałego: silnia. Teraz możemy zdefiniow
Kombinatory punktu stałego Powyższy przykład możemy uogólnić. Twierdzenie. Niech C = C[f,x] będzie
Kombinatory punktu stałegoRównania stałopunktowe w matematyce. Rozważmy równania algebraiczne, np. x
Kombinatory punktu stałegoRównania stałopunktowe w programowaniu. Podobny problem pojawia się przy
Kombinatory punktu stałegoKombinator punktu stałego Definicja. Kombinatorem punktu stałeao nazywamy
cyjnego punktu stosowanego podczas pisania programów robota). Po napisaniu programu nie będzie potrz
slajd53 (52) KRZYWE STOŻKOWE - parabola - to zbiór punktów płaszczyzny, równo odległych od stałego&n
img118 118 także wektory własne macierzy kowariancji Cxx. Istotnie, spróbujmy szukać punktu stałego
Rysunek 4 Zależność kształtu i wymiarów elips błędu w zależności od położenia punktu stałego Coś to

więcej podobnych podstron