Giuseppe Primiero, "On the Foundations of Computing", Oxford University Press, Oxford, 2019, pp. 320

Computer science today is undoubtedly one of the most important disciplines with a significant impact on scientific research, technological development and the daily life of everyone. At a closer look, more than a discipline, it is nowadays a heterogeneous set of disciplines ranging from more theoretical studies, mostly included in the academic environment, to a wide range of application areas that intersect various aspects of scientific research, industry and business. This heterogeneity is reflected in the lack of an unambiguous definition of the term Computer Science and, consequently, in the lack of a clear characterization of what should be considered its Fundamentals. Traditionally, in the academic environment, the name "Fundamentals of Computer Science" is employed to refer to that set of research programs, including Formal Language Theory, Computability Theory, Computational Complexity Theory and Algorithm Theory (Brookshear: 2006). L'informatica al giorno d'oggi è senz'altro una delle discipline più im-portanti con un notevole impatto sulla ricerca scientifica, sullo sviluppo tec-nologico e nella vita quotidiana di ognuno. A ben vedere più che come una disciplina essa si presenta ormai come un insieme eterogeno di discipline che spaziano da ricerche più teoriche, per lo più inserite nell'ambiente accademico, ad un ampio ventaglio di settori applicativi che intersecano vari aspetti della ricerca scientifica, dell'industria e del business. Questa eterogeneità si riflette nella mancanza di una definizione univoca del termine Informatica e, conseguentemente, nella mancanza di una chiara caratterizzazione di quali debbano essere considerati i suoi Fondamenti.Tradizionalmente, nell'ambiente accademico, il nome "Fondamenti dell'Informatica" è utilizzato in riferimento a quell'insieme di programmi di ricerca che comprende: la Teoria dei Linguaggi Formali, la Teoria della Calcolabilità, la Teoria della Complessità Computazionale e la Teoria degli Algoritmi (Brookshear: 2006).