Algoritmi: Lo spirito dell’informatica by David Harel, Yishai Feldman

By David Harel, Yishai Feldman

Gli algoritmi sono il cuore dell’informatica e della matematica, poiché senza di loro l’uso del laptop non sarebbe possibile. In questo libro, che nella sua edizione inglese è un bestseller da molto pace, 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 in keeping with un corso universitario introduttivo all’informatica, sia come introduzione generale alle scienze naturali, alla matematica o all’ingegneria.

"Questo libro è un autentico travel de strength. 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 l. a. soddisfazione intellettuale della ricerca nel campo dell’informatica. Senza usare l. a. matematica formale, ma senza in keeping with 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 collage Belfast

The instances better schooling Supplement

Show description

Read Online or Download Algoritmi: Lo spirito dell’informatica PDF

Best algorithms and data structures books

Non-Standard Inferences in Description Logics

Description logics (DLs) are used to symbolize established wisdom. Inference prone checking out consistency of data bases and computing subconcept/superconcept hierarchies are the most characteristic of DL structures. in depth examine over the last fifteen years has ended in hugely optimized structures that permit to cause approximately wisdom bases successfully.

MDDL and the Quest for a Market Data Standard: Explanation, Rationale, and Implementation (The Elsevier and Mondo Visione World Capital Markets)

The purpose of this publication is to supply an aim seller self sufficient overview of the industry information Definition Language (MDDL), the eXtensible Mark-up Language (XML) common for industry information. Assuming little earlier wisdom of the traditional, or of structures networking, the ebook identifies the demanding situations and importance of the traditional, examines the company and marketplace drivers and provides choice makers with a transparent, concise and jargon unfastened learn.

Business Intelligence: Data Mining and Optimization for Decision Making

Enterprise intelligence is a extensive classification of functions and applied sciences for amassing, supplying entry to, and interpreting info for the aim of aiding company clients make higher enterprise judgements. The time period implies having a accomplished wisdom of all elements that have an effect on a company, resembling buyers, rivals, enterprise companions, fiscal surroundings, and inner operations, accordingly permitting optimum judgements to be made.

Error-Free Polynomial Matrix Computations

This booklet is written as an creation to polynomial matrix computa­ tions. it's a spouse quantity to an past ebook on equipment and purposes of Error-Free Computation by way of R. T. Gregory and myself, released via Springer-Verlag, manhattan, 1984. This booklet is meant for seniors and graduate scholars in laptop and procedure sciences, and arithmetic, and for researchers within the fields of laptop technological know-how, numerical research, platforms thought, and laptop algebra.

Additional info for Algoritmi: Lo spirito dell’informatica

Sample text

Per provare che la routine funziona, la quale potrebbe sembrare ridicola a prima vista, potremmo provare a eseguirlo con N uguale a 3; ovvero, simulando il lavoro del processore quando ci sono tre anelli. Questo dovrebbe essere fatto eseguendo un “algoritmo principale” che consiste dell’unica istruzione: chiamare move 3 from A to B using C La simulazione deve essere portata avanti con cautela, visto che i parametri X, Y e Z all’inizio assumono abbastanza innocentemente i valori A, B e C, per poi cambiare ogni volta che il processore ri-entra nella routine.

Nel primo problema l’input `e una posizione legale degli scacchi (ovvero, la descrizione della situazione di gioco raggiunta in un dato momento di una partita di scacchi), mentre l’output `e la mossa migliore per i bianchi (ovvero, la descrizione della mossa che massimizza le probabilit` a dei bianchi di vincere la partita). Il secondo problema concerne la distribuzione dei quotidiani. Si supponga che 20000 quotidiani debbano essere distribuiti a 1000 locazioni in 100 citt`a usando 50 camion. L’input contiene le distanze tra le diverse citt`a, il numero di quotidiani richiesti in ogni locazione, la posizione attuale di ogni camion, la portata in quotidiani di ogni camion, insieme alla capacit`a del suo serbatoio e alla sua resa chilometri-per-litro, e i dettagli sui camionisti, inclusa la loro posizione attuale.

1 Introduzione e revisione storica 21 Il problema e la sua soluzione: un riassunto Per riassumere, un problema algoritmico consiste in: 1. la caratterizzazione di una collezione valida, possibilmente infinita, di potenziali insiemi di input, e, 2. la specifica degli output desiderati in termini di una funzione degli input. Si assume che venga preliminarmente fornita anche la descrizione delle azioni basilari consentite, o la descrizione di una configurazione hardware e delle azioni basilari in esso cablate.

Download PDF sample

Rated 4.10 of 5 – based on 24 votes