La logica dei sistemi di elaborazione

Questo testo viene dato alle stampe a breve distanza di tempo dalla scomparsa, avvenuta il 4 giugno 1987, di Giovanni Battista Gerace che ricordiamo con affetto come un grande maestro ed amico. Gerace ha inteso riunire, in forma organica e completa, il vasto materiale didattico da lui utilizzato nelle lezioni di Macchine calcolatrici aritmetiche, tenute nel corso di laurea in Ingegneria elettronica dell'Università di Pisa dal 1961 al 1970, ed in quelle di Sistemi per l'Elaborazione dell'informazione I, tenute nel corso di laurea in Scienze dell'informazione della stessa Università dal 1971 in poi. Tale materiale si è andato via via arricchendo negli anni grazie alla attività scientifica che ha reso Gerace uno dei fondatori dell'informatica italiana ed uno dei più prestigiosi ricercatori mondiali nell'area degli automi, delle reti logiche e dei sistemi di elaborazione. Egli infatti ha avuto il grande merito scientifico di essere stato tra i primi, non solo in Italia, a formalizzare questi aspetti, fornendo contributi fondamentali sia dal punto di vista teorico che da quello della sperimentazione. Il settore della descrizione, analisi, sintesi e progetto dei sistemi di calcolo è certamente centrale nella scienza informatica e costituisce la base per la ricerca e lo sviluppo delle architetture dei calcolatori... (Dalla Prefazione)