Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Installa
l'accesso più veloce di browser!
 

Teoria della calcolabilità

Indice Teoria della calcolabilità

La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.

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.

UscenteArrivo
Ehi! Siamo su Facebook ora! »