Informatica

Questo libro parte dal presupposto che l'informatica sia una disciplina scientifica di base, al pari della fisica o della matematica, e che come tale debba essere insegnata in ambito universitario. Il testo, quindi, non si limita a descrivere un insieme di tecnologie più o meno centrate sul personal computer, né tanto meno fornisce le istruzioni per l'utilizzo di uno specifico pacchetto software; piuttosto, gli autori puntano a chiarire i fondamenti concettuali dell'informatica intesa come scienza degli algoritmi. L'esposizione procede per livelli successivi, in una struttura a piramide. Il livello di base è costituito dallo studio delle proprietà formali e matematiche degli algoritmi; nei livelli successivi si affrontano l'implementazione degli algoritmi in appositi dispositivi hardware e nella macchina virtuale creata dal sistema operativo; la loro traduzione in appositi linguaggi di programmazione; infine il loro impiego in applicazioni di particolare rilevanza pratica, che stanno modificando profondamente la nostra vita quotidiana, aprendoci nuove opportunità e, allo stesso tempo, ponendoci nuove sfide in ambito etico, giuridico e sociale.