Quaderni di Informatica
Parte I

Area 09 – Ingegneria industriale e dell'informazione

Il libro presenta alcuni argomenti introduttivi e fondamentali dell’informatica e dell’arte della programmazione. Viene descritta l’architettura della macchina di von Neumann e vengono presentate l’aritmetica binaria e le principali strutture di dati, quali matrici, alberi, liste, pile, code e grafi. Le basi logico–algebriche dell’informatica vengono illustrate attraverso la presentazione del calcolo proposizionale e dell’algebra booleana. La descrizione di alcuni algoritmi elementari per la ricerca e l’ordinamento di dati e per la soluzione di relazioni di ricorrenza introduce il lettore alle idee di base della teoria della complessità, della correttezza e della derivazione automatica dei programmi.Alberto Pettorossi è professore associato di Informatica teorica presso la Facoltà di Ingegneria dell’Università degli Studi di Roma “Tor Vergata”. Ha svolto attività di ricerca e attività didattica presso università italiane e straniere nel campo della verifica e dello sviluppo automatico dei programmi funzionali e logici, della teoria della programmazione concorrente e dei sistemi di riscrittura.

SINTESI