Funzioni, Macchine, Algoritmi. Introduzione Alla Teoria Della Computabilita'

Nata nel corso degli anni trenta del secolo scorso nel contesto delle ricerche sui fondamenti della matematica, con lo sviluppo dei calcolatori digitali la teoria della computabilita' ha assunto il ruolo di disciplina fondamentale per l'informatica teorica. Attraverso di essa, la sua influenza culturale si e' estesa ad ambiti quali l'intelligenza artificiale, le scienze cognitive, la linguistica. Questo volume vuole rendere accessibili, con un adeguato approfondimento, i principali risultati della teoria della computabilita' ad un pubblico non specializzato.