Date: Mon, 18 Jun 2007 10:53:11
Subject: Harel/Feldman, Algorithmics, The Spirit of Computing

Hej!

Den här boken, Harel/Feldman, Algorithmics, The Spirit of Computing, var 
kurslitteratur på datavetenskap, men inte obligatorisk att läsa utan ingick 
i delkursen Datavetenskaplig Orientering.

Den är mer teoretisk än t.ex. Brookshear 
http://tintin.kau.se/~ao/recensioner/131.txt
men ger en bra översikt över hela ämnet.

Den har 402 sidor. De flesta lästa i mitten av terminen. Bara det 
allra sista sidorna i dag.

Innehåll:
Part I Preliminaries
1 Introduction and Historical review. or, What's It All About?
2 Algorithms and Data, or, Getting It Done.
3 Programming Languages and Paradigms, or, Getting It Done by Computer.

Part II Methods and Analysis
4 Algorithmic Methods, or, Getting It Done Methodically.
5 The Correctness of Algorithms, or, Getting It Done Right.
6 The Efficency of Algorithms, or, Getting It Done Cheaply

Part III Limitations and Robustness
7 Inefficency and Intractibility, or, You Can't Always Get It Done Cheaply.
8 Noncomputability and Undecidability, or, Sometimes You Can't Get It Done 
At All!
9 Algorithmic Universality and Its Robustness, or, The Simplest Machines 
That Get It Done.

Part IV Relaxing the Rules
10 Parallellism, Concurrency, And Alternative Methods, or, Getting Lots of 
Stuff Done At Once.
11 Probabilistic Algorithms, or, Getting It Done by Tossing Coins.
12 Cryptography and Reliable Interaction, or, Getting It Done in Secret.

Part V. The Bigger Picture
13 Software Engineering, or, Getting It Done When It's Large.
14 Reactive Systems, or, Getting It to Behave Properly Over Time.
15 Algorithmics and Intelligence, or, Are They Better at It Than Us?


David Harel och Yishai Feldman är från Israel. Boken är tredje upplagan.
Den handlar mycket om komplexitet: i beräkningar, system och kognitivt.

Jag tyckte den var bra, att den är abstrakt gör den mer allmängiltig än en 
bok om ett visst programmeringsspråk eller datorsystem. Men sånt behövs ju 
också. Den här ger mer förståelse av andra än första ledet i ämnet 
Computer Science.