Libri di C. De Felice

La teoria della computazione nasce dalla necessità di una sistemazione teorica del concetto di procedura di calcolo. Ha due assi portanti: la computabilità e la complessità di calcolo. Studia ciò che può e non può essere calcolato e, nel caso dei problemi risolvibili, determina in quanto tempo, con quanta memoria e su quale tipo di modello computazionale. Il testo di Michael Sipser, giunto alla terza edizione inglese, è considerato un riferimento essenziale sull'argomento, adottato in numerosissime università in tutto il mondo in ambito informatico, ingegneristico e matematico.

Questo racconto-verità, preceduto da una favola di Andrea Giuntini e Roberto Innocenti, è la testimonianza di artisti, genitori e ricercatori su una malattia neurogenetica devastante che ruba alle bambine che ne sono affette la capacità di comunicare, rendendole del tutto dipendenti dagli altri. Mentre cerca di capire i misteri della sindrome di Rett, un gruppo di ricercatori scientifici scopre che l'arte nelle sue varie forme riesce a spezzare l'isolamento delle "bambine dagli occhi belli" arrivando a toccare corde che la scienza fa fatica a comprendere.