11 relazioni: Algoritmo, Computabilità, Computazione, Computer, Funzione calcolabile, Informatica, Macchina di Turing, Matematica, Piergiorgio Odifreddi, Teoria della complessità computazionale, Teoria della computazione.
Algoritmo
Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.
Nuovo!!: Teoria della calcolabilità e Algoritmo · Mostra di più »
Computabilità
La teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi.
Nuovo!!: Teoria della calcolabilità e Computabilità · Mostra di più »
Computazione
Il termine computazione deriva dal latino computare che significa sia "contare" sia "tagliare" e ha diversi significati nella lingua italiana.
Nuovo!!: Teoria della calcolabilità e Computazione · Mostra di più »
Computer
Un computer (pronuncia italiana), in italiano anche elaboratore (vedi «aspetti linguistici»), è una macchina automatizzata in grado di eseguire complessi calcoli matematici ed eventualmente altri tipi di elaborazioni dati.
Nuovo!!: Teoria della calcolabilità e Computer · Mostra di più »
Funzione calcolabile
Le funzioni calcolabili sono il principale oggetto di studio della teoria della calcolabilità.
Nuovo!!: Teoria della calcolabilità e Funzione calcolabile · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Teoria della calcolabilità e Informatica · Mostra di più »
Macchina di Turing
In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.
Nuovo!!: Teoria della calcolabilità e Macchina di Turing · Mostra di più »
Matematica
La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.
Nuovo!!: Teoria della calcolabilità e Matematica · Mostra di più »
Piergiorgio Odifreddi
Oltre che di matematica, nelle sue pubblicazioni si occupa di divulgazione scientifica, storia della scienza, filosofia, politica, religione, esegesi, filologia e saggistica varia.
Nuovo!!: Teoria della calcolabilità e Piergiorgio Odifreddi · Mostra di più »
Teoria della complessità computazionale
In informatica, la teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Nuovo!!: Teoria della calcolabilità e Teoria della complessità computazionale · Mostra di più »
Teoria della computazione
La teoria della computazione è quella branca della matematica che si preoccupa di definire quali proprietà possiede uno specifico linguaggio formale.
Nuovo!!: Teoria della calcolabilità e Teoria della computazione · Mostra di più »
Riorienta qui:
Calcolabilità, Teoria della computabilità, Teoria della ricorsione.