Church-Turing, le funzioni calcolabili corrispondono alle funzioni ricorsive, e quindi a tutti i modelli di calcolo equivalenti. Una funzione calcolabile è in generale...

definizione formale e matematicamente rigorosa dell'idea intuitiva di funzione calcolabile. Da una parte l'approccio è quello di approfondire il concetto di...

Funzione suriettiva Funzione biunivoca Endofunzione Permutazione Involuzione Funzione ricorsiva primitiva Funzione calcolabile Funzione ricorsiva (secondo...

di ricorsione mostra che nessuna funzione calcolabile è senza punti fissi, ma ci sono molte funzioni non calcolabili senza punti fissi. Il criterio di...

Church-Turing è un'ipotesi che afferma: «Se un problema è umanamente calcolabile, allora esisterà una macchina di Turing in grado di risolverlo (cioè...

ogni funzione calcolabile esista una macchina di Turing equivalente, ossia che l'insieme delle funzioni calcolabili coincida con quello delle funzioni ricorsive...

teorema dello speedup riguardante la complessità delle funzioni calcolabili. Ogni funzione calcolabile ha un infinito numero di differenti rappresentazioni...

difficile progettare una funzione che sia ricorsiva totale ma non primitiva ricorsiva, anche se se ne conoscono alcune, come la funzione di Ackermann. Perciò...

effetti gli studi sulle funzioni calcolabili sono stati fatti propri dalla informatica teorica fin dal suo inizio. Funzione (matematica) Pedro da Ponte...

polinomiale. Nello specifico con il termine "funzione calcolabile in tempo polinomiale" s'intende una funzione f : Σ ∗ → Σ ∗ {\displaystyle f:\Sigma ^{*}\rightarrow...

qualunque enumerazione delle funzioni ricorsive (ricordiamo che funzioni ricorsive e calcolabili sono la stessa cosa), in cui la funzione φ i {\displaystyle \varphi...

La funzione rampa è una funzione reale elementare, facilmente calcolabile come la media aritmetica della variabile indipendente e del suo valore assoluto...

dev'essere una funzione di complessità propria, cioè deve soddisfare le seguenti condizioni: deve essere monotona crescente; deve essere calcolabile in tempo...

funzioni sono calcolabili, cioè ricorsive. Ecco alcuni esempi. Consideriamo una qualunque enumerazione delle funzioni ricorsive, in cui la funzione φ...

naturali a funzioni calcolabili (date come macchine di Turing). Questa numerazione deve essere tale per cui, dato un indice di una funzione calcolabile e un...

della terminazione, l'esistenza di una funzione calcolabile che non è primitiva ricorsiva (vedi anche la funzione di Ackermann), l'indecidibilità dell'aritmetica...

{\displaystyle S} si dice ricorsivamente enumerabile se esiste una funzione calcolabile f {\displaystyle f} tale che S {\displaystyle S} è l'immagine di...

vantaggio trascurabile) tra una funzione scelta casualmente dalla famiglia PRF e una vera funzione casuale. Le funzioni pseudocasuali sono strumenti vitali...

velocizzazione di qualunque funzione calcolabile (non solo lineare, come nel precedente teorema). Data la desiderata funzione di speedup, deduce l'esistenza...

quantistica ha valor medio sullo stato ψ ( x ) {\displaystyle \psi (x)} calcolabile mediante: ⟨ A ^ ⟩ ψ = ∫ ψ ∗ ( x ) A ^ ψ ( x ) d x {\displaystyle \langle...

suo complemento. Ogni insieme calcolabile è Turing-riducibile a ogni altro insieme. Poiché qualsiasi insieme calcolabile può essere calcolato senza oracolo...

} T\ } dove c V {\displaystyle c_{V}} è il calore specifico isocoro, calcolabile teoricamente in modo approssimato applicando il teorema di equipartizione...

dell'andamento della funzione che conta i primi minori o uguali a x. Legendre e Gauss congetturarono indipendentemente che tale funzione tende, al crescere...

decimali è 2,718 281828459 {\displaystyle 2{,}718281828459} . È la base della funzione esponenziale e x {\displaystyle e^{x}} e del logaritmo naturale. Può essere...

proprietà di additività (e differenza: per cui è calcolabile la variazione d'entropia e la funzione entropia è differenziabile, ovvero ha senso parlare...

esiste una funzione di enumerazione f di cui A è il codominio. Essendoci una corrispondenza biunivoca tra l'insieme delle funzioni calcolabili e l'insieme...

In matematica si definisce funzione coppia una funzione che associa ad ogni coppia ordinata di numeri naturali un numero naturale con corrispondenza uno...

naturali escluso il numero 0 ha funzione di probabilità P ( T = k ) = p q k − 1 {\displaystyle P(T=k)=pq^{k-1}} funzione di ripartizione P ( T ⩽ k ) = 1...

dettaglio: Funzione misurabile. Nella teoria di Lebesgue, gli integrali sono limitati a una classe di funzioni, chiamate funzioni misurabili. Una funzione f {\displaystyle...

alla rotazione dell'albero della turbina. Questa energia cinetica è calcolabile con la formula matematica e = m v 2 2 {\displaystyle e={\frac {mv^{2}}{2}}}...

che è la nostra realtà fisica esterna è definita esclusivamente da funzioni calcolabili. La MUH è collegata, inoltre, alla classificazione di Tegmark di...