Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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.
Über den Autor
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.
Zusammenfassung

Includes supplementary material: [...]

Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2007
Fachbereich: Wahrscheinlichkeitstheorie
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: UNITEXT
Inhalt: xxii
616 S.
ISBN-13: 9788847005792
ISBN-10: 8847005795
Sprache: Italienisch
Einband: Kartoniert / Broschiert
Autor: Harel, David
Feldman, Yishai
Hersteller: Springer
UNITEXT
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 35 mm
Von/Mit: David Harel (u. a.)
Erscheinungsdatum: 22.12.2007
Gewicht: 0,955 kg
Artikel-ID: 101663518