David Harel
Forfatter af Algorithmics: The Spirit of Computing
Om forfatteren
David Harel is Professor and Dean of the Faculty of Mathematics and Computer Science at the Weizmann Institute of Science.
Værker af David Harel
Raoul Wallenberg-Buried Alive 1 eksemplar
Associated Works
Real-Time UML: Developing Efficient Objects for Embedded Systems (2nd Edition) (1998) — Forord — 42 eksemplarer
Satte nøgleord på
Almen Viden
- Fødselsdato
- 1950
- Køn
- male
- Nationalitet
- Israel
- Fødested
- London, England, UK
- Relationer
- Meyer, Albert R. (Doctoral Advisor)
- Organisationer
- ACM (Fellow, 1994)
IEEE (Fellow, 1995)
Academia Europaea
American Association for the Advancement of Science (Fellow, 2007)
Israel Academy of Sciences and Humanities (Member, 2010)
National Academy of Engineering (Foreign Associate Member) - Priser og hædersbevisninger
- Karl V. Karlstrom Educator Award (1992)
Stevens Award (1996)
Israel Prize (2004)
Emet Prize (2010)
ABZ Platinum Gold Medal (2013)
Medlemmer
Anmeldelser
Lister
Måske også interessante?
Associated Authors
Statistikker
- Værker
- 9
- Also by
- 2
- Medlemmer
- 358
- Popularitet
- #66,978
- Vurdering
- 3.7
- Anmeldelser
- 5
- ISBN
- 29
- Sprog
- 5
"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 ???… (mere)