Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- Nella [[teoria della computabilità]], i '''teoremi di ricorsione di Kleene''' sono due fondamentali risultati riguardanti l'applicazione di I due teoremi di ricorsione possono essere applicati per costruire [[punto fisso|punti fissi]] di certe ...5 KB (761 parole) - 21:03, 29 mag 2024
Corrispondenze nel testo delle pagine
- Nella [[teoria della computabilità]], i '''teoremi di ricorsione di Kleene''' sono due fondamentali risultati riguardanti l'applicazione di I due teoremi di ricorsione possono essere applicati per costruire [[punto fisso|punti fissi]] di certe ...5 KB (761 parole) - 21:03, 29 mag 2024
- In [[teoria della ricorsione]], il '''teorema <math>S_{n}^{m}</math>''' è un risultato di base sugli [[A *[[Teorema di ricorsione di Kleene]] ...2 KB (297 parole) - 12:48, 9 feb 2023
- ...'', che prende il nome dal suo autore [[Paul de Casteljau]], è un metodo [[ricorsione|ricorsivo]] per valutare [[polinomio|polinomi]] nella [[forma di Bernstein] Si avvia la ricorsione con: ...3 KB (406 parole) - 02:26, 26 mag 2021
- ...ni]] che possono essere definite applicando un numero finito di volte la [[ricorsione]] e la [[composizione di funzioni|composizione]] a partire da particolari [ ...ntenente le funzioni ricorsive di base e che sia chiuso per composizione e ricorsione primitiva. ...7 KB (1 049 parole) - 15:23, 23 nov 2024
- ...per definire l'addizione tra ordinali in maniera rigorosa attraverso la [[ricorsione transfinita]] come segue: ...2 KB (211 parole) - 21:50, 22 ott 2023
- ...[[Albero (informatica)|albero]] [[Relazione d'ordine|ordinato]] definito [[Ricorsione|ricorsivamente]] nel seguente modo: ...1 KB (219 parole) - 13:32, 23 ago 2016
- ==Induzione e ricorsione== ...ben fondate supportano la costruzione di oggetti matematici mediante la [[ricorsione transfinita]]. ...9 KB (1 384 parole) - 21:32, 11 lug 2024
- L'idea alla base del metodo è una [[Ricorsione|procedura ricorsiva]], ad ogni passo della quale la taglia dell'input è rid ...2 KB (242 parole) - 13:03, 24 mar 2022
- Ecco un'implementazione senza ricorsione. /* Funzione per Ricerca Binaria senza ricorsione ...9 KB (1 200 parole) - 18:19, 8 ott 2024
- I ''counting quantifier'' possono essere definiti in modo [[ricorsione|ricorsivo]] in termini di quantificatori ordinari. ...2 KB (277 parole) - 20:47, 24 nov 2022
- ...uesta [[definizione ricorsiva]] sia ben posta è garantito dal [[teorema di ricorsione]] assieme con il [[teorema di leggibilità unica]]. ...2 KB (396 parole) - 15:19, 23 nov 2024
- ...oni ricorsive primitive chiusa rispetto agli operatori di composizione, di ricorsione primitiva e all'operatore μ, detto anche operatore di minimizzazione. [[Categoria:Ricorsione]] ...6 KB (799 parole) - 17:39, 22 ago 2023
- La successione dei vettori differenza è data dalla ricorsione La ricorsione sui vettori è allora definita da ...7 KB (1 048 parole) - 10:19, 9 apr 2023
- ...ro di involuzioni in un insieme con ''n'' elementi è dato dalla seguente [[ricorsione|relazione ricorsiva]]: ...2 KB (298 parole) - 01:21, 10 feb 2023
- La forma è costruita per [[ricorsione]] partendo dall'[[assioma]] (in pratica la stringa di partenza) attraverso :1^ricorsione: || 1<nowiki>[0]</nowiki>0 ...9 KB (1 289 parole) - 09:19, 28 ott 2023
- ... ''N''. Rendendo ''N'' sufficientemente grande, il sovraccarico della ricorsione può essere reso trascurabile (precisamente, questa tecnica di un ampio mode ...tante quante per la sommatoria semplice, quindi, se il sovraccarico della ricorsione è reso trascurabile, allora la sommatoria ricorsiva a coppie ha essenzialme ...11 KB (1 577 parole) - 06:27, 16 mar 2025
- ...ub>n</sub> è il [[Radicale (matematica)|radicale]] quadratico dato dalla [[Ricorsione|formula ricorsiva]] <math> a_n=\sqrt{2+a_{n-1}} </math> con condizione iniz ...3 KB (501 parole) - 18:39, 19 feb 2019
- ...ui i numeri sono disposti su righe successive, che permette di calcolare [[Ricorsione|ricorsivamente]] i [[numeri di Bell]] che indicano il numero di [[Partizion ...3 KB (416 parole) - 19:23, 12 feb 2023
- ...finita altrimenti. L'operatore di minimalizzazione, unitamente a quello di ricorsione e composizione, forma un insieme di operatori sufficienti alla creazione di ...3 KB (426 parole) - 00:38, 6 mar 2023
- ...i naturali]] e le cui probabilità <math>P(n)=p_k</math>sono definite per [[ricorsione]] come ...nti centrali]] <math>\mu_n=E[X^n]</math>, che si possono esprimere tramite ricorsione a partire da <math>\mu_0=1</math> e dalle relazioni ...8 KB (1 219 parole) - 05:12, 13 mar 2025