Pagine che puntano a "Teoria della calcolabilità"
Vai alla navigazione
Vai alla ricerca
Le seguenti pagine contengono dei collegamenti a Teoria della calcolabilità:
Visualizzazione di 26 pagine.
- Macchina di Turing (← collegamenti)
- Assiomi di Peano (← collegamenti)
- Insieme ricorsivamente enumerabile (← collegamenti)
- Tesi di Church-Turing (← collegamenti)
- Lambda calcolo (← collegamenti)
- Funzione ricorsiva (← collegamenti)
- Funzione ricorsiva primitiva (← collegamenti)
- Funzione calcolabile (← collegamenti)
- Linguaggio formale (← collegamenti)
- Teorema di Rice (← collegamenti)
- Enumerazioni nella teoria della calcolabilità (← collegamenti)
- Insieme ricorsivo (← collegamenti)
- Funzione coppia (← collegamenti)
- Teoria del tutto (← collegamenti)
- Argomento diagonale di Cantor (← collegamenti)
- Classe di complessità (← collegamenti)
- Macchina di Moore (← collegamenti)
- Teoria degli insiemi (← collegamenti)
- Algoritmo (← collegamenti)
- Teorema di ricorsione di Kleene (← collegamenti)
- L (linguaggio) (← collegamenti)
- Principio di Markov (← collegamenti)
- Problema decisionale (← collegamenti)
- Minima lunghezza di descrizione (← collegamenti)
- Predicato T di Kleene (← collegamenti)
- Turing riduzione (← collegamenti)