Preliminari.- Introduzione e revisione storica.- Algoritmi e dati.- I linguaggi e i paradigmi di programmazione.- Metodi e analisi.- Metodi algoritmici.- La correttezza degli algoritmi.- L’efficienza degli algoritmi.- Limiti e robustezza.- Inefficienza e intrattabilità.- Non computabilità e indecidibilità.- L’universalità algoritmica e la sua robustezza.- Rilassare le regole.- Parallelismo, Concorrenza e modelli alternativi.- Algoritmi probabilistici.- Crittografia e Interazioni affidabili.- Una veduta più ampia.- Ingegneria del software.- Sistemi reattivi.- Algoritmi e Intelligenza.- Poscritto.- Soluzioni.- Note bibliografiche.

Gli algoritmi sono il cuore dell’informatica e della matematica, poiché senza di loro l’uso del computer non sarebbe possibile. In questo libro, che nella sua edizione inglese è un bestseller da molto tempo, Harel e Feldmann rispondono a tutte le domande relative a questo tema. Parlano della valutazione, della correttezza e dell’efficacia degli algoritmi, ma chiariscono anche qualche dubbio sulle tecniche di programmazione e si riferiscono inoltre all’attualissima discussione sul calcolo quantistico. Il libro è utile sia come testo base per un corso universitario introduttivo all’informatica, sia come introduzione generale alle scienze naturali, alla matematica o all’ingegneria. "Questo libro è un autentico tour de force. Harel scrive con una verve, una chiarezza e un’immaginazione fuori dal comune. Attraverso l’uso di domande stuzzicanti ed esempi selezionati con cura e spesso divertenti, l’autore trasmette al lettore l’entusiasmo e la soddisfazione intellettuale della ricerca nel campo dell’informatica. Senza usare la matematica formale, ma senza per questo motivo sacrificare l’integrità intellettuale, egli comunica al lettore generale i profondi principi su cui si fonda l’informatica; principi che, prima d’ora, risultavano accessibili solo attraverso libri di testo e articoli scientifici molto complessi. Rappresenta il meglio della scrittura scientifica." Dr. Stan Scott, Queen’s University Belfast The Times Higher Education Supplement