Libri di Gianpiero Cabodi

Questo libro si propone di rispondere a una delle sfide più impegnative poste dai primi corsi di Programmazione nelle lauree di area scientifica e tecnologica: la necessità di acquisire non solo un nuovo strumento (il linguaggio, con la sua sintassi e le sue specificità), ma una nuova mentalità, una metodologia strutturata orientata alla risoluzione di problemi. L'enfasi del testo è posta proprio sul “problem-solving”: dopo la presentazione di uno schema generale per la classificazione dei problemi computazionali, il lettore è guidato passo passo nella risoluzione delle diverse tipologie di problemi, dalla costruzione di un modello formale alla definizione di un algoritmo alla scrittura del programma. Si presuppone la conoscenza sintattica dei principali costrutti del linguaggio C (che vengono comunque richiamati in un capitolo apposito). L'esposizione si basa in gran parte sugli esempi, svolti in notevole dettaglio, e su un gran numero di esercizi, molti dei quali corredati da soluzione.

La programmazione come strumento per il problem-solving si appoggia su due grandi pilastri: gli algoritmi, che definiscono le operazioni da svolgere per trasformare i dati in ingresso nei dati in uscita, e le strutture dati, dove sono memorizzati i dati in ingresso, quelli in uscita e quelli intermedi generati durante la computazione. Per la risoluzione di qualunque problema, tranne i più banali, conoscere le strutture dati e saperle implementare in un linguaggio di programmazione è di fondamentale importanza. Questo libro analizza la progettazione e la realizzazione di strutture dati efficienti e modulari in linguaggio C. Prima di affrontare le strutture dati, il testo approfondisce alcuni meccanismi propri di questo linguaggio, quali i puntatori e l'allocazione dinamica della memoria, fondamentali per una programmazione avanzata. Puntatori e allocazione dinamica sono introdotti in stretta relazione alla rappresentazione dei dati in memoria, all'architettura e al funzionamento di un sistema di elaborazione basato sul modello di Von Neumann.