Pagine che puntano a "Teoria della calcolabilità"
Vai alla navigazione
Vai alla ricerca
Per informazioni vedi Aiuto:Puntano qui
Le seguenti pagine contengono dei collegamenti a Teoria della calcolabilità
Strumenti: Cerca i collegamenti nel wikicodice
50 elementi visualizzati.
- Funzione (matematica) (← collegamenti | modifica)
- Macchina di Turing (← collegamenti | modifica)
- Piergiorgio Odifreddi (← collegamenti | modifica)
- Programmazione (informatica) (← collegamenti | modifica)
- Cibernetica (← collegamenti | modifica)
- Assiomi di Peano (← collegamenti | modifica)
- Logica matematica (← collegamenti | modifica)
- Insieme ricorsivamente enumerabile (← collegamenti | modifica)
- Calcolo (matematica) (inclusione) (← collegamenti | modifica)
- Tesi di Church-Turing (← collegamenti | modifica)
- Lambda calcolo (← collegamenti | modifica)
- Funzione ricorsiva (← collegamenti | modifica)
- Funzione ricorsiva primitiva (← collegamenti | modifica)
- Teoria della computabilità (reindirizzamento) (← collegamenti | modifica)
- Teoria della computazione (← collegamenti | modifica)
- Teoria della complessità computazionale (← collegamenti | modifica)
- Premio Turing (← collegamenti | modifica)
- Calcolo distribuito (← collegamenti | modifica)
- Argomento diagonale di Cantor (← collegamenti | modifica)
- Decidibilità (← collegamenti | modifica)
- Macchina che termina sempre (← collegamenti | modifica)
- Entscheidungsproblem (← collegamenti | modifica)
- Qualia (← collegamenti | modifica)
- Minimalizzazione (← collegamenti | modifica)
- Computabilità (← collegamenti | modifica)
- Informatica (← collegamenti | modifica)
- Macchina astratta (← collegamenti | modifica)
- Teorema dello speedup di Blum (← collegamenti | modifica)
- Teorema di ricorsione di Kleene (← collegamenti | modifica)
- Conferenza di Dartmouth (← collegamenti | modifica)
- Martin Löb (← collegamenti | modifica)
- Teoria della ricorsione (reindirizzamento) (← collegamenti | modifica)
- Funzione calcolabile (← collegamenti | modifica)
- Linguaggio formale (← collegamenti | modifica)
- Teorema di Rice (← collegamenti | modifica)
- Enumerazioni nella teoria della calcolabilità (← collegamenti | modifica)
- Insieme ricorsivo (← collegamenti | modifica)
- Funzione coppia (← collegamenti | modifica)
- Teoria del tutto (← collegamenti | modifica)
- Argomento diagonale di Cantor (← collegamenti | modifica)
- Terza rivoluzione industriale (← collegamenti | modifica)
- Classe di complessità (← collegamenti | modifica)
- Smn (← collegamenti | modifica)
- Macchina di Moore (← collegamenti | modifica)
- Computabilità (← collegamenti | modifica)
- Macchina di Mealy (← collegamenti | modifica)
- Calcolabilità (reindirizzamento) (← collegamenti | modifica)
- Informatica (← collegamenti | modifica)
- Intelligenza artificiale (← collegamenti | modifica)
- Scott Aaronson (← collegamenti | modifica)
- Utente:Agnul/Sandbox/Macchina di Turing (← collegamenti | modifica)
- Utente:Simone Lazzaretti/Sandbox (← collegamenti | modifica)
- Utente:PietroAvolio/Sandbox3 (← collegamenti | modifica)
- Teoria degli insiemi (← collegamenti | modifica)
- Computazione (← collegamenti | modifica)
- Algoritmo (inclusione) (← collegamenti | modifica)
- Teorema di ricorsione di Kleene (← collegamenti | modifica)
- L (linguaggio) (← collegamenti | modifica)
- Jeffrey Ullman (← collegamenti | modifica)
- Senso Comune (base di dati) (← collegamenti | modifica)
- Principio di Markov (← collegamenti | modifica)
- Teoria della dimostrazione (← collegamenti | modifica)
- Problema decisionale (← collegamenti | modifica)
- Minima lunghezza di descrizione (← collegamenti | modifica)
- LOOP (linguaggio di programmazione) (← collegamenti | modifica)
- Macchina di Turing probabilistica (← collegamenti | modifica)
- Teoria dei linguaggi di programmazione (← collegamenti | modifica)
- Epistemologia formale (← collegamenti | modifica)
- Mario Piazza (logico) (← collegamenti | modifica)
- Giuseppe Trautteur (← collegamenti | modifica)
- Julia Robinson (← collegamenti | modifica)
- Predicato T di Kleene (← collegamenti | modifica)
- Turing riduzione (← collegamenti | modifica)