Foto de l'autor
10+ obres 358 Membres 5 Ressenyes

Sobre l'autor

David Harel is Professor and Dean of the Faculty of Mathematics and Computer Science at the Weizmann Institute of Science.

Obres de David Harel

Obres associades

Alan Turing: His Work and Impact (2013) — Col·laborador — 35 exemplars

Etiquetat

Coneixement comú

Membres

Ressenyes

Esamina il ruolo di Raoul Wallenberg nel salvare gli ebrei ungheresi durante la seconda guerra mondiale, la sua scomparsa dopo che i russi occuparono Budapest, e le relazioni attraverso i decenni che Wallenberg fu imprigionato in Russia. Include le testimonianze dei soci di Wallenberg, di sua sorella e degli ebrei sopravvissuti a causa dell'intervento di Wallenberg
 
Marcat
MemorialSardoShoahDL | May 26, 2018 |
The organization of this book is fantastic. It really breaks up the subject of computer science into functional parts that answer specific fundamental questions about computation. Read the table of contents and you'll see what I mean. The writing is also fairly concise, albeit worded awkwardly at times. I don't find the religious quotes distracting as other reviewers do; just imagine Samuel L. Jackson saying them and it makes the read much more entertaining.
 
Marcat
danrk | Hi ha 1 ressenya més | Mar 10, 2016 |
Indeholder "Preamble", "Acknowledgments", "1. What's it all about?", " Algorithms", " Basic instructions", " The text vs. the process", " Inputs", " What do algorithms solve?", " Isn't our setup too simplistic?", " Solving algorithmic problems", " Programming", " Errors and correctness", " Termination", "2. Sometimes we can't do it", " Finite problems are solvable", " The tiling problems", " Do we really mean it?", " Elementary computing devices", " The Church/Turing thesis", " Computability is robust", " Unboundedness is misleading", " Program verification", " The halting problem", " Some problems are even worse!", "3. Sometimes we can't afford to do it", " Resources: time and memory space", " Improving running time", " Upper and lower bounds", " So what?", " The towers of Hanoi", " The good, the bad, and the ugly", " Intractability", " Roadblocks and chess", " Problems that are even harder", " Unreasonably large memory", "4. Sometimes we just don't know", " The monkey puzzle", " NP-complete problems", " Finding short paths", " Scheduling and matching", " More on puzzles", " Coloring networks", " Magic coins", " Standing or falling together", " The great mystery: Is P equal to NP?", " Can we come close?", " Sometimes we succeed", "5. Trying to ease the pain", " Parallelism, or joining forces", " Fixed vs. expanding parallelism", " Can parallelism eliminate the bad news?", " More unknowns in parallel computation", "Randomization, or tossing coins", " More on Monte Carlo algorithms", " Testing for primality", " Randomized primality testing", " Can randomization eliminate the bad news?", " Can computers simulate true randomness?", " Quantum computing", " Quantum algorithms", " Can there be a quantum computer?", " Molecular computing", "6. Turning bad into good", " Classical cryptography", " Public-key cryptography", " Signing messages", " Can all this be made to work?", " The RSA Cryptosystem", " Interactive proofs", " Zero-knowledge proofs", " I can 3-color a network", " On millionaires, ballots and more", "7. Can we ourselves do any better?", " Algorithmic intelligence?", " The Turing test", " ELIZA and zupchoks", " Heuristics", " What is knowledge?", " Understanding natural language", "Postramble", "Index".

"Preamble" handler om ???
"Acknowledgments" handler om ???
"1. What's it all about?" handler om ???
" Algorithms" handler om ???
" Basic instructions" handler om ???
" The text vs. the process" handler om ???
" Inputs" handler om ???
" What do algorithms solve?" handler om ???
" Isn't our setup too simplistic?" handler om ???
" Solving algorithmic problems" handler om ???
" Programming" handler om ???
" Errors and correctness" handler om ???
" Termination" handler om ???
"2. Sometimes we can't do it" handler om ???
" Finite problems are solvable" handler om ???
" The tiling problems" handler om ???
" Do we really mean it?" handler om ???
" Elementary computing devices" handler om ???
" The Church/Turing thesis" handler om ???
" Computability is robust" handler om ???
" Unboundedness is misleading" handler om ???
" Program verification" handler om ???
" The halting problem" handler om ???
" Some problems are even worse!" handler om ???
"3. Sometimes we can't afford to do it" handler om ???
" Resources: time and memory space" handler om ???
" Improving running time" handler om ???
" Upper and lower bounds" handler om ???
" So what?" handler om ???
" The towers of Hanoi" handler om ???
" The good, the bad, and the ugly" handler om ???
" Intractability" handler om ???
" Roadblocks and chess" handler om ???
" Problems that are even harder" handler om ???
" Unreasonably large memory" handler om ???
"4. Sometimes we just don't know" handler om ???
" The monkey puzzle" handler om ???
" NP-complete problems" handler om ???
" Finding short paths" handler om ???
" Scheduling and matching" handler om ???
" More on puzzles" handler om ???
" Coloring networks" handler om ???
" Magic coins" handler om ???
" Standing or falling together" handler om ???
" The great mystery: Is P equal to NP?" handler om ???
" Can we come close?" handler om ???
" Sometimes we succeed" handler om ???
"5. Trying to ease the pain" handler om ???
" Parallelism, or joining forces" handler om ???
" Fixed vs. expanding parallelism" handler om ???
" Can parallelism eliminate the bad news?" handler om ???
" More unknowns in parallel computation" handler om ???
"Randomization, or tossing coins" handler om ???
" More on Monte Carlo algorithms" handler om ???
" Testing for primality" handler om ???
" Randomized primality testing" handler om ???
" Can randomization eliminate the bad news?" handler om ???
" Can computers simulate true randomness?" handler om ???
" Quantum computing" handler om ???
" Quantum algorithms" handler om ???
" Can there be a quantum computer?" handler om ???
" Molecular computing" handler om ???
"6. Turning bad into good" handler om ???
" Classical cryptography" handler om ???
" Public-key cryptography" handler om ???
" Signing messages" handler om ???
" Can all this be made to work?" handler om ???
" The RSA Cryptosystem" handler om ???
" Interactive proofs" handler om ???
" Zero-knowledge proofs" handler om ???
" I can 3-color a network" handler om ???
" On millionaires, ballots and more" handler om ???
"7. Can we ourselves do any better?" handler om ???
" Algorithmic intelligence?" handler om ???
" The Turing test" handler om ???
" ELIZA and zupchoks" handler om ???
" Heuristics" handler om ???
" What is knowledge?" handler om ???
" Understanding natural language" handler om ???
"Postramble" handler om ???
"Index" handler om ???
… (més)
 
Marcat
bnielsen | Hi ha 1 ressenya més | Jan 18, 2016 |
Indeholder "Preface", "Acknowledgements", "Part One. Preliminaries", "1. Introduction and Historical Review - or, What's It All About?", " Some Gastronomy", " Algorithmics versus Computer Science", " Some History", " A Strange Dichotomy", " Some Limitations of Computers", " A Recipe", " Levels of Detail", " Short Algorithms for Long Processes", " The Algorithmic Problem", " Bounds on Basic Actions", " The Problem and Its Solution: Summary", "2. Algorithms and Data - or, Getting It Done", " Control Structures", " Combined Control Structures", " Bubblesort: An Example", " The 'Goto' Statement", " Diagrams for Algorithms", " Subroutines, or Procedures", " The Virtues of Subroutines", " Recursion", " The Towers of Hanoi: An Example", " The Expressive Power of Control Structures", " Variables, or Little Boxes", " Vectors, or Lists", " Arrays, or Tables", " Queues and Stacks", " Trees, or Hierarchies", " Treesort: An Example", " Databases and Knowledge Bases", "3. Programming Languages - or, Getting It Done by Computer", " Programs Require Precise Syntax", " Programs Require Precise Semantics", " Routines as Parameters: An Example", " From High-Level Languages to Bit Manipulation", " Compilation and Assembly Languages", " Interpreters and Immediate Execution", " Why Not an Algorithmic Esperanto?", " FORTRAN: A Language for Science and Engineering", " COBOL: A Language for Business and Commerce", " PASCAL: A General-Purpose Language", " SNOBOL: A Language for String and Text Manipulation", " LISP: An Applicative Language Based on List Processing", " PROLOG: A Language Based on Clausal Logic", " APL: The Quintessentially Compact Language", " Research on Programming Languages", "Part Two. Methods and Analysis", "4. Algorithmic Methods - or, Getting It Done Methodically", " Searches and Traversals", " Maximal Polygonal Distance: An Example", " Divide-and-Conquer", " Greedy Algorithms and Railroad Contractors", " Dynamic Planning and Weary Travelers", " Research on Algorithmic Methods", "5. The Correctness of Algorithms - or, Getting It Done Right", " Language Errors", " Logical Errors", " Computers Do Not Err", " Testing and Debugging", " Infinite Loops", " Partial and Total Correctness", " The Need for Proving Correctness", " Invariants and Convergents", " Reversing a Symbol String: An Example", " What's in a Proof?", " The Towers of Hanoi: An Example", " More on the Towers of Hanoi: A Simple Iterative Solution", " After-the-Fact versus As-You-Go Verification", " Interactive Verification and Proof Checking", " Research on Algorithmic Correctness", " The Four-Color Theorem", "6. The Efficiency of Algorithms - or, Getting It Done Cheaply", " Improvements Are Needed", " After-the-Fact Improvements", " Linear Search: An Example", " Order-of-Magnitude Improvements", " Binary Search: An Example", " Why Is It Enough to Count Comparisons?", " The Robustness of the Big-O Notation", " Time Analysis of Nested Loops", " Time Analysis of Recursion", " Average-Case Complexity", " Upper and Lower Bounds", " A Lower Bound for Telephone Book Search", " Closed Problems and Algorithmic Gaps", " Barricading Sleeping Tigers: An Example", " Research on the Efficiency of Algorithms", "Part Three. Limitations and Robustness", "7. Inefficiency and Intractability - or, You Can't Always Get It Done Cheaply", " The Towers of Hanoi Revisited", " The Monkey Puzzle Problem: An Example", " Reasonable versus Unreasonable Time", " More on the Monkey Puzzle Problem", " Two-Dimensional Arrangement Problems", " Path-Finding Problems", " Scheduling and Matching Problems", " Determining Logical Truth", " Coloring Maps and Graphs", " Short Certificates and Magic Coins", " NP-Completeness: Standing or Falling Together", " Reducing Oranges to Apples", " Is P Equal to NP?", " Imperfect Solutions to NP-complete Problems", " Provably Intractable Problems", " A Provably Intractable Satisfiability Problem", " Proving Exponential-Time Lower Bounds", " Problems that Are Even Harder!", " Unreasonable Amounts of Memory Space", " Research on Complexity Classes and Intractability", "8. Noncomputability and Undecidability - or, Sometimes You Can't Get It Done At all!", " The Rules of the Game", " The Tiling Problem: An Example", " Unboundedness Can Be Misleading", " Word Correspondence and Syntactical Equivalence", " Problems with Outputs Are No Better", " Algorithmic Program Verification", " The Halting Problem", " Proving Undecidability", " Proving the Undecidability of the Halting Problem", " Finite Certificates for Undecidable Problems", " Problems with Two-Way Certificates are Decidable", " Problems tha Are Even Less Decidable!", " Highly Undecidable Problems", " The Four Fundamental Levels of Algorithmic Behavior", " Research on Undecidability", "9. Algorithmic Universality and Its Robustness - or, The Simplest Machines that Get It Done", " An Exercise in Simplifying Data", " An Exercise in Simplifying Control", " Simplifying the Basic Operations", " The Turing Machine", " Detecting Palindromes: An Example", " Turing Machines versus Algorithms", " The Church/Turing Thesis", " Evidence for the Church/Turing Thesis", " Computability Is Robust", " Variants of the Turing Machine Model", " Folding Over an Infinite Tape: An Example", " Counter Programs: Another Very Primitive Model", " Turing Machines versus Counter Programs", " Universal Algorithms", " Simulations as Reductions", " A Slight Modification of Counter Programs", " Tractability Is also Robust", " Turing Machines and the P versus NP Problem", " Using Turing Machines for Lower Bound Proofs", " Proving Lower Bounds by Diagonalization", " One-Way Turing Machines, or Finite-State Automata", " On the Power of Finite Automata", " Research on Abstract Models of Computation", "Part Four. Relaxing the Rules", "10. Parallelism and Concurrency - or, Getting It Done by Cooperating", " Fixed versus Expanding Parallelism", " Sorting in Parallel", " The Product Complexity: Time x Size", " Networks: Fixed-Connection Parallelism", " The Odd-Even Sorting Network", " More About Networks: Computing Weighted Averages", " Can Parallelism Be Used to Solve the Unsolvable?", " The Parallel Computation Thesis", " Nick's Class: Towards Reasonable Parallelism", " Distributed and Ongoing Concurrency", " Solving Hotel Shower Problems", " Things Are Trickier than They Seem", " A Solution to the N-Processor Mutual Exclusion Problem", " Safety and Liveness Properties", " Temporal Logic", " Fairness and Real-Time Systems", " The Dining Philosophers Problem", " Concurrent Programming Languages", " Semaphores and Monitors", " Direct Communication Rendezvous", " Specifying Large and Complex Reactive Systems", " Statecharts: Visualizing Reactive Behavior", " Research on Parallelism and Concurrency", "11. Probabilistic Algorithms - or, Getting It Done by Tossing Coins", " More on the Dining Philosophers", " Probabilistic Algorithms for Conventional Algorithmic Problems", " Generating Large Primes", " Probabilistic Algorithms for Testing Primality", " Fast Probabilistic Pattern Matching", " Probabilistic Complexity Classes", " Cryptography", " Public-Key Cryptography", " The RSA Cryptosystem", " Playing Poker Over the Phone", " Research on Probabilistic Algorithms and Their Applications", " Theorems that Are Almost True?", "12. Algorithmics and Intelligence - or, Are They Better at It Than Us?", " Algorithmic Intelligence?", " The Turing Test", " Playing Games", " More About Heuristics", " Evaluating and Searching", " Knowledge Representation", " Expert Systems", " Knowledge in Learning, Planning, and Deduction", " Understanding Natural Language", "Postscript", "Bibliographic notes", "Index".

Ganske velskrevet bog.
… (més)
 
Marcat
bnielsen | Hi ha 1 ressenya més | Nov 23, 2012 |

Llistes

Potser també t'agrada

Autors associats

Estadístiques

Obres
10
També de
2
Membres
358
Popularitat
#66,978
Valoració
½ 3.7
Ressenyes
5
ISBN
32
Llengües
5

Gràfics i taules