Pagine che puntano a "Informatica teorica"
Vai alla navigazione
Vai alla ricerca
Per informazioni vedi Aiuto:Puntano qui
Le seguenti pagine contengono dei collegamenti a Informatica teorica
Strumenti: Cerca i collegamenti nel wikicodice
50 elementi visualizzati.
- Automa (informatica) (← collegamenti | modifica)
- Apprendimento automatico (← collegamenti | modifica)
- Grammatica generativa (← collegamenti | modifica)
- Ingegneria informatica (← collegamenti | modifica)
- Matematica (← collegamenti | modifica)
- Programmazione (informatica) (← collegamenti | modifica)
- Applicazione web (← collegamenti | modifica)
- Pila (informatica) (← collegamenti | modifica)
- Entropia (← collegamenti | modifica)
- Teoria delle categorie (← collegamenti | modifica)
- Association for Computing Machinery (← collegamenti | modifica)
- Problemi per il millennio (← collegamenti | modifica)
- Donald Knuth (← collegamenti | modifica)
- Logica matematica (← collegamenti | modifica)
- Storia della nozione di funzione matematica (← collegamenti | modifica)
- Alonzo Church (← collegamenti | modifica)
- Teorema di Rice (← collegamenti | modifica)
- Funzione coppia (← collegamenti | modifica)
- Linguaggio regolare (← collegamenti | modifica)
- Linguaggio libero dal contesto (← collegamenti | modifica)
- Problema del commesso viaggiatore (← collegamenti | modifica)
- Computer quantistico (← collegamenti | modifica)
- Linguaggio ricorsivo (← collegamenti | modifica)
- Linguaggio lineare (← collegamenti | modifica)
- Pi (lettera greca) (← collegamenti | modifica)
- Matematica discreta (← collegamenti | modifica)
- Stephen Kleene (← collegamenti | modifica)
- Commento (informatica) (← collegamenti | modifica)
- Funzione parziale (← collegamenti | modifica)
- Soddisfacibilità booleana (← collegamenti | modifica)
- Arietà (← collegamenti | modifica)
- Information Management System (← collegamenti | modifica)
- Transaction processing (← collegamenti | modifica)
- Informatica (inclusione) (← collegamenti | modifica)
- Premio Gödel (← collegamenti | modifica)
- Rózsa Péter (← collegamenti | modifica)
- Boris Trachtenbrot (← collegamenti | modifica)
- Laurea in Informatica (← collegamenti | modifica)
- Mathematical Reviews (← collegamenti | modifica)
- Ragionamento automatico (← collegamenti | modifica)
- Intelligenza artificiale (← collegamenti | modifica)
- Semantica formale (← collegamenti | modifica)
- Teorema di Böhm-Jacopini (← collegamenti | modifica)
- Simulazione (informatica) (← collegamenti | modifica)
- Bisimulazione (← collegamenti | modifica)
- Sistema a transizione di stati (← collegamenti | modifica)
- Settimo Termini (← collegamenti | modifica)
- John Hopcroft (← collegamenti | modifica)
- Università tecnica di Berlino (← collegamenti | modifica)
- Problema aperto (← collegamenti | modifica)