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.
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.
Die Herstellerinformationen sind derzeit nicht verfügbar.
Autorenporträt
David Harel ist der Dekan der Fakultät für Mathematik und Informatik des Weizmann-Instituts in Rehovot in Israel. Seine Forschungsinteressen liegen in der theoretischen Informatik, mit den Schwerpunkten Berechenbarkeit, Automatentheorie und Logik der Programmierung. Im Jahr 1992 erhielt er für herausragende Lehre den Karlstrom-Preis der Association for Computing Machinery und 1997 den Softwarepreis des israelischen Ministerpräsidenten. David Harel ist vielfacher Buchautor, und wurde einer breiteren Öffentlichkeit durch eine Reihe von Fernsehinterviews bekannt, die er mit herausragenden Mthematikern und Informatikern für einen israelischen Sender durchführte.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826