3148972486
Liczby naturalne jako liczebniki Churcha
Specyfikacja algebraiczna:
f IterO MN = N \ Iter (sucn) MN — M(\ternMN)
Odpowiednie termy można zdefiniować na różne sposoby, np. liczebniki Churcha są zdefiniowane następująco:
0 = \fx.x 1 = \fx.fx 2 = A fx.f(fx) itd.
Możemy to uogólnić i zauważyć, że liczebnik reprezentujący liczbę n będzie miał postać Afx.fnx, czyli jest iteratorem. Wobec tego definiujemy:
suc = Anfx.f(nfx) Iter = Anfa.nfa (-^*v An.n)
lub suc = Anfx.nf(fx)
Zdzisław Spławski: Teoretyczne Podstawy Języków Programowania, Wykład 4. Siła wyrazu rachunku A 5
Wyszukiwarka
Podobne podstrony:
Funkcja Eulera ip: Dla danej liczby naturalnej n e ATfunkcja Eulera </>( n ) określona jest ja
Reprezentacja struktur danych w rachunku A ► liczby naturalne (numerały Churcha) cn = As.Az.s(n)(z)
Liczby algebraiczne Q Liczby wymierne Liczby naturalne N Liczby całkowite Z ) Liczby rzeczywiste
20 2. Algebra relacji — naturalne: R m S — jako wypełniaczy
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
PRZYKŁAD Jako kolejny przykład dowiedziemy, że dla każdej liczby naturalnej prawdziwa jest równość 1
skanuj0025 (29) Dobry dla partii środka. Zamiast przez kolejne liczby naturalne, dzielimy przez: 1,4
liczby naturalne i ulamki kl vi cz iib (1) 8. Oblicz: (l§+0,5) ■ (5§-3,9) = *9. Oto stan oszczędnośc
liczby naturalne i ulamki kl vi cz ii a 8. Oblicz: (l,5 + 2^) • (4^-2,7) *9. Oto stan oszczędności k
skanuj0025 (29) Dobry dla partii środka. Zamiast przez kolejne liczby naturalne, dzielimy przez: 1,4
img061 Wyliczoną ze wzoru (5.16) wartość należy zaokrąglić do najbliższej liczby naturalnej. Przykła
więcej podobnych podstron