rekursi/o ^KompLeks

rekursio

serÄi 'rekursio'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

[rekursi.0o]

: [rekursi.0o.MAT]; Tia maniero difini funkcion aÅ komputan proceduron, ke la difinato eventuale povas referenci sin mem: senfina rekursio (ekz-e kaÅzita de cirkla difino).

rikuro¹

Rim.: Kaj ârekursioâ, kaj ârikuroâ etimologie signifas âretroiroâ, t.e. reveno al la antaÅe komputitaj valoroj de iu vico por komputi la sekvan. Pri la termino ârekursioâ tiu koncepto ne plu validas: rekursia komputo povas anticipe ekzameni ankaÅ siajn âpostajnâ valorojn, eÄ plenumi elÄerpan serÄon tra ili. Tion oni neniam faras en la klasika matematiko, por kies bezonoj plene sufiÄas rikuro, koncepto logike pli sekura. [Sergio Pokrovskij]

angle:: recursion senfina ~o: infinite recursion.
beloruse:: ÑÑÐºÑÑÑÑÑ senfina ~o: Ð±ÑÑÐºÐ¾Ð½ÑÐ°Ñ ÑÑÐºÑÑÑÑÑ.
Äine:: éæ¨ [dÃ¬tuÄ«], éæ¨ [dÃ¬tuÄ«], éå½ [dÃ¬guÄ«], éæ¸ [dÃ¬guÄ«]
pole:: rekurencja
ruse:: ÑÐµÐºÑÑÑÐ¸Ñ senfina ~o: Ð±ÐµÑÐºÐ¾Ð½ÐµÑÐ½Ð°Ñ ÑÐµÐºÑÑÑÐ¸Ñ.
ukraine:: ÑÐµÐºÑÑÑÑÑ

rekursia

serÄi 'rekursia'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

[rekursi.0a]

: Uzanta rekursion, karakterizata de rekursio: rekursia proceduro (programlingva proceduro² kiu eventuale vokas sin mem dum la rultempo); rikura¹

angle:: recursive ~a proceduro: recursive procedure.
beloruse:: ÑÑÐºÑÑÑÑÑÐ½Ñ ~a proceduro: ÑÑÐºÑÑÑÑÑÐ½Ð°Ñ Ð¿ÑÐ°ÑÑÐ´ÑÑÐ°.
Äine:: éæ¨ [dÃ¬tuÄ«], éæ¨ [dÃ¬tuÄ«], éå½ [dÃ¬guÄ«], éæ¸ [dÃ¬guÄ«]
pole:: rekurencyjny, zagnieÅ¼dÅ¼ony
ruse:: ÑÐµÐºÑÑÑÐ¸Ð²Ð½ÑÐ¹ ~a proceduro: ÑÐµÐºÑÑÑÐ¸Ð²Ð½Ð°Ñ Ð¿ÑÐ¾ÑÐµÐ´ÑÑÐ°.
ukraine:: ÑÐµÐºÑÑÑÐ¸Ð²Ð½Ð¸Ð¹

rekursia funkcio

serÄi 'rekursia funkcio'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

[rekursi.0afunkcio]

: [rekursi.0afunkcio.MAT]; Unu el la matematikaj precizigoj de la intuicia koncepto pri komputeblo. Oni reduktas Äiujn komputajn problemojn al naturnombraj funkcioj³ $N^n ->N$ , kaj konstruas hierarkion el 3 subklasoj: primitive rekursiaj funkcioj, Äieaj rekursiaj funkcioj, Î¼-rekursiaj funkcioj. La lasta klaso estas la plej Äenerala, Äi entenas la du aliajn kaj reprezentas Äiujn komputeblajn funkciojn. Se oni diras simple ârekursia funkcioâ, tiam oni celas Äuste tiun Äi klason: simbole la hierarkion de la rekursiaj funkcioj eblas prezenti per la formulo $"PRF" sub "ÄRF" sub "MRF"$ ; estas pruvite, ke la klaso da rekursiaj funkcioj, la klaso da funkcioj difineblaj per Turinga aÅtomato, per Î»-kalkulo, per la Markovaj Äenoj estas Äiuj egalaj.

angle:: recursive function
beloruse:: ÑÑÐºÑÑÑÑÑÐ½Ð°Ñ ÑÑÐ½ÐºÑÑÑ
pole:: funkcja rekurencyjna (mat.)
ruse:: ÑÐµÐºÑÑÑÐ¸Ð²Ð½Ð°Ñ ÑÑÐ½ÐºÑÐ¸Ñ

primitive rekursia funkcio, PRF

serÄi 'primitive rekursia funkcio'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

serÄi 'PRF'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

[rekursi.primitive0afunkcio]

: La difino estas rikura^1.b: oni difinas la bazan klason kaj du operatorojn. La bazaj funkcioj estas: la konstanta funkcio $O(x)=0$ ; la alkremento $S(x)=x+1$ ; la projekcioj $"Pr"[m,n](x_1,...x_n)=x_m,1 le m le n$ . La operatoroj estas la kunligo² kaj la primitiva rekursiilo. Primitive rekursia funkcio estas baza primitive rekursia funkcio aÅ rezulto de finifoja apliko de la operatoro(j): $S(S(x))$ estas primitive rekursia funkcio Äar Äi estas kunligo de du alkrenentoj (Äi Äµetas $x to x+2$ ); Äiuj primitive rekursiaj funkcioj estas Äieaj funkcioj; pliopo da nombroteoriaj funkcioj estas primitive rekursiaj funkcioj.

angle:: primitive recursive function
beloruse:: Ð¿ÑÑÐ¼ÑÑÑÑÐ½Ð°-ÑÑÐºÑÑÑÑÑÐ½Ð°Ñ ÑÑÐ½ÐºÑÑÑ
pole:: funkcja pierwotnie rekurencyjna
ruse:: Ð¿ÑÐ¸Ð¼Ð¸ÑÐ¸Ð²Ð½Ð¾-ÑÐµÐºÑÑÑÐ¸Ð²Ð½Ð°Ñ ÑÑÐ½ÐºÑÐ¸Ñ

primitiva rekursiilo

serÄi 'primitiva rekursiilo'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

[rekursi.primitiva0ilo]

: Operatoro uzata en la difino de primitive rekursia funkcio, simila al nombrila iteracio; la formala difino estas rikura^1.b. Estu $f$ funkcio $n$ -loka, kaj $g$ funkcio $n+2$ -loka; tiam apliko de primitiva rekursiilo al la paro da funkcioj $(f,g)$ estas tia $n+2$ -loka funkcio $h$ , ke baze: $h(x_1,...,x_n,0)=f(x_1,...,x_n)$ ; kaj rikure: $h(x_1,...x_n,y+1)=g(x_1,...x_n,y,h(x_1,...,x_n,y))$ . Estu $f(x)="Pr"[1,1](x)=x$ kaj $g(x,y,z)=S("Pr"[2,3](x,y,z))=S(y)$ . Tiam $h(0,x)=x$ kaj $h(S(y),x)=g(y,h(y,x),x)=S(h(y,x))$ . Sekve $h(0,1)=1, h(1,1)=S(h(0,1))=2, h(2,1)=S(h(1,1))=3$ . Do, $h$ estas 2-loka primitive rekursia funkcio, nome âadicioâ.

angle:: primitive recursion
beloruse:: Ð°Ð¿ÑÑÐ°ÑÐ°Ñ Ð¿ÑÑÐ¼ÑÑÑÑÐ½Ð°Ð¹ ÑÑÐºÑÑÑÑÑ
pole:: operator minimalizacji ograniczonej
ruse:: Ð¾Ð¿ÐµÑÐ°ÑÐ¾Ñ Ð¿ÑÐ¸Ð¼Ð¸ÑÐ¸Ð²Ð½Ð¾Ð¹ ÑÐµÐºÑÑÑÐ¸Ð¸

Î¼-rekursia funkcio, MRF, parta rekursia funkcio

serÄi '&my;-rekursia funkcio'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

serÄi 'MRF'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

[rekursi.mu0afunkcio]

: Funkcio difinta per la samaj rimedoj, kiel la primitive rekursiaj funkcioj, plus la Î¼-operatoro de senbara serÄo: Äar la minimumigo povas diverÄi, tial ne Äiuj Î¼-rekursiaj funkcioj estas Äieaj; ankaÅ nenie difinitaj (Äie diverÄaj) funkcioj estas partaj rekursiaj funkcioj.

angle:: partial recursive function, >(Î¼-)recursive function
beloruse:: ÑÐ°ÑÑÐºÐ¾Ð²Ð° ÑÑÐºÑÑÑÑÑÐ½Ð°Ñ ÑÑÐ½ÐºÑÑÑ
pole:: funkcja czÄÅciowo rekurencyjna
ruse:: ÑÐ°ÑÑÐ¸ÑÐ½Ð¾ ÑÐµÐºÑÑÑÐ¸Ð²Ð½Ð°Ñ ÑÑÐ½ÐºÑÐ¸Ñ

Äiea rekursia funkcio, ÄRF

serÄi 'ĉiea rekursia funkcio'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

serÄi 'ĈRF'

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

[rekursi.cxiea0afunkcio]

: Î¼-rekursia funkcio kiu estas Äiea funkcio: Äiu PRF estas Äiea rekursia funkcio; ekzistas Äieaj rekursiaj funkcioj kiuj ne estas primitive rekursiaj.

angle:: total recursive function
beloruse:: Ð°Ð³ÑÐ»ÑÐ½Ð°ÑÑÐºÑÑÑÑÑÐ½Ð°Ñ ÑÑÐ½ÐºÑÑÑ
pole:: caÅkowita funkcja rekurencyjna
ruse:: Ð¾Ð±ÑÐµÑÐµÐºÑÑÑÐ¸Ð²Ð½Ð°Ñ ÑÑÐ½ÐºÑÐ¸Ñ

administraj notoj

~o: Mankas dua fontindiko.
~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
~a: Mankas dua fontindiko.
~a: Mankas fonto, kiu estas nek vortaro nek terminaro.
~a funkcio: Mankas dua fontindiko.
~a funkcio: Mankas fonto, kiu estas nek vortaro nek terminaro.
primitive ~a funkcio, PRF: Mankas dua fontindiko.
primitive ~a funkcio, PRF: Mankas fonto, kiu estas nek vortaro nek terminaro.
primitiva ~ilo: Mankas dua fontindiko.
primitiva ~ilo: Mankas fonto, kiu estas nek vortaro nek terminaro.
Î¼-~a funkcio, MRF, parta ~a funkcio: Mankas dua fontindiko.
Î¼-~a funkcio, MRF, parta ~a funkcio: Mankas fonto, kiu estas nek vortaro nek terminaro.
Äiea ~a funkcio, ÄRF: Mankas dua fontindiko.
Äiea ~a funkcio, ÄRF: Mankas fonto, kiu estas nek vortaro nek terminaro.

rekursi/o KompLeks

rekursio

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

rekursia

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

rekursia funkcio

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

primitive rekursia funkcio, PRF

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

primitiva rekursiilo

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

Î¼-rekursia funkcio, MRF, parta rekursia funkcio

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

Äiea rekursia funkcio, ÄRF

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

Wikipedia

AV

Majstro

Lernu

ViVo

Wiktionary

Tatoeba

administraj notoj

rekursi/o ^KompLeks

Äiea rekursia funkcio, ÄRF