See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Notacja strzałkowa - Wikipedia, wolna encyklopedia

Notacja strzałkowa

Z Wikipedii

Notacja strzałkowa Knutha – metoda zapisywania bardzo dużych liczb wprowadzona przez amerykańskiego matematyka Donalda Knutha w 1975. Podstawowa idea tej metody jest oparta na iterowanym potęgowaniu, w sposób podobny do tego jak potęgowanie jest iterowanym mnożeniem a mnożenie jest iterowanym dodawaniem.

Spis treści

[edytuj] Definicja


a\uparrow^n b=\left\{
\begin{array}{ll}
a^b & \mbox{dla }n=1  \\
1 & \mbox{dla }b=0 \\
a\uparrow^{n-1}(a\uparrow^n(b-1)) & \mbox{dla }n>1 \\
\end{array}
\right.

[edytuj] Przykład

3\uparrow^3 3 = 3\uparrow\uparrow\uparrow 3 = 3\uparrow\uparrow (3\uparrow\uparrow\uparrow 2) = 3\uparrow\uparrow (3\uparrow\uparrow 3) = 3\uparrow\uparrow (3\uparrow 3 \uparrow 3) = 3\uparrow\uparrow (3\uparrow 3^3) = 3\uparrow\uparrow (3^{3^3})

[edytuj] Opis notacji

Notacja strzałkowa została wprowadzona przez Donalda Knutha w 1976 roku. Jej celem było zapisanie bardzo dużych liczb, których nawet zapisanie w postaci wykładniczej było trudne lub niemożliwe do wykonania.

Dla skrócenia zapisu dużą ilość strzałek zastępuje się ich liczbą umieszczoną po prawej stronie strzałki w indeksie górnym:

a\uparrow\uparrow\uparrow b = a\uparrow^3 b

a\uparrow\uparrow\uparrow\uparrow b = a\uparrow^4 b

a\uparrow\uparrow...\uparrow\uparrow b = a\uparrow^n b

[edytuj] Konstrukcja

a\uparrow b =a^b

a\uparrow\uparrow b = a\uparrow a\uparrow ... \uparrow a\qquad\ . - liczba a występuje b razy

a\uparrow\uparrow\uparrow b = a\uparrow\uparrow a\uparrow\uparrow ... \uparrow\uparrow a\qquad\ . - liczba a występuje b razy

a\uparrow\uparrow\uparrow\uparrow b = a\uparrow\uparrow\uparrow a\uparrow\uparrow\uparrow ... \uparrow\uparrow\uparrow a\qquad\ . - liczba a występuje b razy

a\uparrow^n b = a \uparrow^{n-1} a \uparrow^{n-1} ... \uparrow^{n-1} a\qquad\ . - liczba a występuje b razy


[edytuj] Inne przykłady

  • a\uparrow 1=a^1=a.
a\uparrow\uparrow 1= a\uparrow (a\uparrow\uparrow 0)=a\uparrow 1=a,
a\uparrow^{n+1} 1=a\uparrow^n (a \uparrow^{n+1} 0)= a\uparrow^n 1,
a stąd indukcyjnie uzasadniamy, że  a\uparrow^n 1=a dla wszystkich n\in {\mathbb N}.
  • 2\uparrow 2 = 2^2 = 4,
2\uparrow\uparrow 2 = 2\uparrow (2\uparrow\uparrow 1) = 2\uparrow 2=4,
2\uparrow^{n+1} 2 = 2\uparrow^n (2\uparrow^{n+1} 1) = 2\uparrow^n 2
i stąd indukcyjnie uzasadniamy, że  2\uparrow^n 2=4 dla wszystkich n\in {\mathbb N}.
  • 3\uparrow 3 = 3^3 = 27
3\uparrow^2 3 = 3\uparrow\uparrow 3 = 3 \uparrow (3 \uparrow 3) = 3\uparrow 3^3 = 3\uparrow 27 = 7625597484987
3\uparrow^3 3 = 3\uparrow\uparrow\uparrow 3 = 3 \uparrow\uparrow (3 \uparrow\uparrow 3) = 3 \uparrow\uparrow 7625597484987 = 3 \uparrow \cdots \uparrow 3  ← (7625597484987 trójek)

[edytuj] Zobacz też


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -