Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
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 computabilità ha assunto il ruolo di disciplina fondamentale per l'informatica teorica. Questo volume vuole rendere accessibili, con un adeguato approfondimento, i principali risultati della teoria della computabilità ad un pubblico non specializzato.
Momentaneamente non ordinabile