Algoritmi

Lo spirito dell’informatica

  • David Harel
  • Yishai Feldman

Part of the Unitext book series (UNITEXT)

Also part of the Collana di Informatica book sub series (UNITEXTINF)

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Preliminari

    1. Front Matter
      Pages 3-3
    2. David Harel, Yishai Feldman
      Pages 5-22
    3. David Harel, Yishai Feldman
      Pages 25-60
    4. David Harel, Yishai Feldman
      Pages 63-95
  3. Metodi e analisi

    1. Front Matter
      Pages 97-97
    2. David Harel, Yishai Feldman
      Pages 99-119
    3. David Harel, Yishai Feldman
      Pages 121-155
    4. David Harel, Yishai Feldman
      Pages 157-189
  4. Limiti e robustezza

    1. Front Matter
      Pages 191-191
    2. David Harel, Yishai Feldman
      Pages 193-230
    3. David Harel, Yishai Feldman
      Pages 233-265
    4. David Harel, Yishai Feldman
      Pages 267-308
  5. Rilassare le regole

    1. Front Matter
      Pages 311-311
    2. David Harel, Yishai Feldman
      Pages 313-357
    3. David Harel, Yishai Feldman
      Pages 359-381
    4. David Harel, Yishai Feldman
      Pages 383-404
  6. Una veduta più ampia

    1. Front Matter
      Pages 407-407
    2. David Harel, Yishai Feldman
      Pages 409-430
    3. David Harel, Yishai Feldman
      Pages 433-460

About this book

Introduction

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

Keywords

Algoritmi Informatica Natur Software computabilità computer correttezza efficienza metodologia parallelism

Authors and affiliations

  • David Harel
    • 1
  • Yishai Feldman
    • 2
  1. 1.Department of Applied MathematicsWeizmann Institute of ScienceRehovotIsrael
  2. 2.The Interdisciplinary CenterHerzliyaIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-88-470-0580-8
  • Copyright Information Springer-Verlag Milan 2008
  • Publisher Name Springer, Milano
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-88-470-0579-2
  • Online ISBN 978-88-470-0580-8
  • Series Print ISSN 2038-5714
  • About this book