Un'eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilità e alla complessità, il libro è scritto in una forma allo stesso tempo elegante e schietto che fa sì che possa essere considerato sia un valido testo per un corso introduttivo di Informatica, sia un tesoro da custodire per i programmatori provetti e i progettisti di software.

Includes supplementary material: sn.pub/extras

Autorentext

David Harel has been at the Weizmann Institute of Science in Israel since 1980. He was Department Head from 1989 to 1995, and was Dean of the Faculty of Mathematics and Computer Science between 1998 and 2004. He was also co-founder of I-Logix, Inc. He received his PhD from MIT in 1978, and has spent time at IBM Yorktown Heights, and sabbaticals at Carnegie-Mellon University, Cornell University, and the University of Edinburgh. In the past he worked mainly in theoretical computer science (logic, computability, automata, database theory), and he now works mainly on software and systems engineering and on modeling biological systems. He is the inventor of statecharts and co-inventor of live sequence charts, and co-designed Statemate, Rhapsody, the Play-Engine and PlayGo. Among his awards are the ACM Karlstrom Outstanding Educator Award (1992), the Israel Prize (2004), the ACM Software System Award (2007), the Emet Prize (2010), and three honorary degrees. He is a Fellow of the ACM, the IEEE and the AAAS, and a member of the Academia Europaea and the Israel Academy of Sciences. Yishai Feldman received his PhD from the Weizmann Institute of Science in 1986. He was a faculty member at Tel Aviv University and the Interdisciplinary Center in Herzliya. He is now at the IBM Research lab in Haifa, Israel, where he leads research on tools for program understanding and transformation.

Klappentext

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

Inhalt
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.