Algoritmi Lo spirito dell’informatica /

• Κύριοι συγγραφείς: Harel, David (Συγγραφέας), Feldman, Yishai (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: Italian
• Έκδοση: Milano : Springer Milan : Imprint: Springer, 2008.
• Σειρά: Unitext,
• Θέματα: Mathematics.; Computers.; Algorithms.; Theory of Computation.

 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. 

 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.