Vicario - Fondamenti di programmazione
di Progetto Leonardo
Descrizione
ISBN: 9788874884582 Rilegatura: Brossura 17x24 3° Edizione: 2011 Pagine: 261 Codice: 3477
Nella prima parte del testo viene introdotto il linguaggio c. La trattazione mira a raggiungere una capacità di programmazione avanzata attraverso la comprensione analitica delle regole sintattiche e semantiche che formano la struttura compatta del linguaggio. Per il bene della concretezza viene anche descritta l'architettura di un processore elementare e il modo in cui un programma c viene tradotto in assembler, codificato in forma numerica ed eseguito. In Appendice la trattazione viene estesa al c++, per raggiungere il livello di comprensione sufficiente per l'accesso ad un testo di progettazione OO. Nella seconda parte vengono introdotti i concetti di struttura dati e di algoritmo in riferimento alla rappresentazione di liste e alberi binari e ai problemi di ricerca e ordinamento. La trattazione fornisce l'opportunità per esemplificare un uso avanzato del c e per introdurre concretamente alcuni concetti fondamentali della programmazione: separazione tra logica e implementazione di una struttura dati; ricorsione e iterazione; valutazione della complessità di un algoritmo e di un problema; verifica della correttezza; disciplina di programmazione e riuso delle soluzioni.
ENRICO VICARIO è Professore Ordinario di Ingegneria Informatica (IngInf05) presso l'Università di Firenze, dove ha ricevuto la Laurea in Ingegneria Elettronica e il Dottorato di Ricerca in Ingegneria Informatica e delle Telecomunicazioni, rispettivamente nel 1990 e nel 1994. Ha tenuto corsi universitari presso le Facoltà di Ingegneria di Firenze e di Ancona sulle materie Fondamenti di Informatica, Ingegneria del Software, Metodi di Verifica e Testing, Sistemi di Elaborazione dell'Informazione, Calcolatori Elettronici. Svolge attività di ricerca e sperimentazione nell’ambito dell'Ingegneria del Software, con specifico interesse per metodi di verifica di correttezza, testing e valutazione quantitativa di sistemi concorrenti in tempo reale e per architetture e metodi di sviluppo del software.
