3148972473
Kombinatory punktu stałego
Powyższy przykład możemy uogólnić.
Twierdzenie. Niech C = C[f,x] będzie termem ze zmiennymi wolnymi / i x. Wówczas:
(i) 3F.\/Ń.FŃ = C[F,Ń]
(ii) 3F.WŃ.FŃ C[F, Ń]
Dowód. W obu przypadkach możemy wziąć F = @(Afx.C[f,x]). Zauważ, że dla przypadku (i) wystarczy wziąć Y.
Zdzisław Spławski: Teoretyczne Podstawy Języków Programowania, Wykład 4. Siła wyrazu rachunku
Wyszukiwarka
Podobne podstrony:
Kombinatory punktu stałegoPrzykład użycia kombinatora punktu stałego: silnia. Teraz możemy zdefiniow
Sytuację z powyższego przykładu można uogólnić. Niech V będzie zbiorem. wr którym jest wprowadzone
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
Kombinatory punktu stałegoKombinator Turinga Czasem potrzebujemy kombinatora punktu stałego M z niec
§3.3. IY-16 Twierdzenie 2. * Niech V będzie przestrzenią wektorową, a f : V1 —> F funkcją wieloli
P4130295 Twierdzenie 3.7 I Niech C będzie podzbiorem domkniętym osi rzeczywistej. Jeśli F jest I odw
P4200257 lawnonraoraio Twierdzenie 3.7 Niech C będzie podzbiorem domkniętym osi rzeczywistej. Jeśfi
10 (33) 184 9. Funkcje wielu zmiennych 9.19. TWIERDZENIE. Niech f będzie funkcją różniczkowalną i ok
10 (48) 199 Pochoane wyższych rzędów 9.40. Twierdzenie. Niech f będzie funkcją rze
Reguły deltaReguły delta Twierdzenie. Niech / będzie funkcją na zamkniętych A-termach w postaci norm
Otwartość zbioru X wynika, z tego, Śe " xTX "r>0 K(x,r) lX Twierdzenie Niech (X,d) będz
50 Marek Kałuszka, Michał Krzeszowiec Twierdzenie 1. Niech w > 0 będzie ustalone. Załóżmy, że u j
więcej podobnych podstron