Hejmen!

kurs[1]o [...] ~i Iri laux ~o. [...] re~i 1 Reiri laux la antauxa ~o. 2 KOMP MAT Referenci al si mem, kiel en re~o. re~o 1 KOMP La vokado de proceduro dum la plenumado de tiu sama proceduro; = memvokado: re~o estas karakteriza pri funkciema programado. -> iteracio. 2 MAT La uzado en difino de pli simpla ekzemplo de la afero difinata; memreferenco. 3 MAT Matematika pruvmetodo, en kiu oni pruvas asertojn $A(n)$ unue pruvante $A(1)$ (la re~an komencon) k poste pruvante, ke $A(n)$ implicas $A(n+1)$ por cxiu $n$ (la re~a pasxo); = indukto. 4 MAT Simila pruvmetodo por bonorditaj aroj, en kiu oni pruvas asertojn $A(n)$ pruvante, ke $A(n)$ estas vera, se $A(m)$ estas vera por cxiu $m<n$; = indukto. re~a Rilata al re~o: re~a proceduro, voko; re~a difino de $n!$ kiel $n (n-1)!$, re~a formulo; re~a pruvo.