Computers Ltd.: what they really can't do
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2012
|
| Ausgabe: | Special 2012 reprint |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXIII, 222 S. graph. Darst. |
| ISBN: | 9780198604426 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040527047 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 121108s2012 d||| |||| 00||| eng d | ||
| 020 | |a 9780198604426 |9 978-0-19-860442-6 | ||
| 035 | |a (OCoLC)820384176 | ||
| 035 | |a (DE-599)BVBBV040527047 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 050 | 0 | |a QA76.5 | |
| 082 | 0 | |a 004 |2 21 | |
| 084 | |a CC 5100 |0 (DE-625)17635: |2 rvk | ||
| 084 | |a SR 990 |0 (DE-625)143372: |2 rvk | ||
| 084 | |a SU 100 |0 (DE-625)143693: |2 rvk | ||
| 100 | 1 | |a Harel, David |d 1950- |e Verfasser |0 (DE-588)109527992 |4 aut | |
| 245 | 1 | 0 | |a Computers Ltd. |b what they really can't do |c David Harel |
| 250 | |a Special 2012 reprint | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2012 | |
| 300 | |a XXIII, 222 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computadoras | |
| 650 | 4 | |a Software para computadora | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Computers | |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ungelöstes Problem |0 (DE-588)4186869-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 0 | 1 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | 2 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 0 | 3 | |a Ungelöstes Problem |0 (DE-588)4186869-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025373198&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025373198 | ||
Datensatz im Suchindex
| _version_ | 1804149611560960000 |
|---|---|
| adam_text | Contents
1
What s it all about?
1
Algorithms
2
Basic instructions
5
The text vs. the process
7
Inputs
9
What do algorithms solve?
10
Isn t our setup too simplistic?
15
Solving algorithmic problems
16
Programming
18
Errors and correctness
21
Termination
25
2
Sometimes we can t do it
27
Finite problems are solvable
29
The tiling problem
30
Do we really mean it?
33
Elementary computing devices
36
The Church-Turing thesis
40
Computability is robust
42
Domino snakes
46
Program verification
48
The halting problem
50
Nothing about computation can be computed!
53
Some problems are even worse
54
XXII CONTENTS
3
Sometimes we can t afford to do it
59
Resources: time and memory space
60
Improving running time 6l
Upper and lower bounds
65
So what
69
The towers of Hanoi
69
The good, the bad, and the ugly
73
Intractability
77
Roadblocks and chess
81
Problems that are even harder
85
Unreasonable memory requirements
88
4
Sometimes we just don t know
91
The monkey puzzle
92
NP-complete problems
95
Finding short paths
97
Scheduling and matching
100
More on puzzles
103
Coloring networks
105
Magic coins
107
Standing of falling together
109
The great mystery: is
Ρ
equal to NP? Ill
Can we come close?
113
Sometimes we succeed
115
5
Trying to ease the pain
119
Parallelism, or joining forces
121
Can parallelism eliminate the bad news?
125
Randomization, or tossing coins
129
More on Monte Carlo algorithms
132
Testing for primality
134
Randomized primality testing
137
Can randomization eliminate the bad news?
141
Can computers simulate true randomness?
142
Quantum computing
143
CONTENTS
ХХІІІ
Quantum algorithms
147
Can there be a quantum computer?
151
Molecular computing
153
6
Turning bad into good
157
Classical cryptography
158
Public-key cryptography l6l
Signing messages l65
Can this be made to work?
168
The RSA cryptosystem
171
Interactive proofs
174
Zero-knowledge proofs
178
I can 3-color a network
181
On millionaires, ballots, and more
187
7
Can we ourselves do any better?
191
Algorithmic intelligence?
193
The Turing test
194
ELIZA and zupchoks
198
Heuristics
201
What is knowledge?
206
Understanding natural language
210
Postramble
215
Index
217
|
| any_adam_object | 1 |
| author | Harel, David 1950- |
| author_GND | (DE-588)109527992 |
| author_facet | Harel, David 1950- |
| author_role | aut |
| author_sort | Harel, David 1950- |
| author_variant | d h dh |
| building | Verbundindex |
| bvnumber | BV040527047 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.5 |
| callnumber-search | QA76.5 |
| callnumber-sort | QA 276.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 5100 SR 990 SU 100 |
| ctrlnum | (OCoLC)820384176 (DE-599)BVBBV040527047 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Philosophie |
| edition | Special 2012 reprint |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01860nam a2200493 c 4500</leader><controlfield tag="001">BV040527047</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">121108s2012 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198604426</subfield><subfield code="9">978-0-19-860442-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)820384176</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040527047</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 5100</subfield><subfield code="0">(DE-625)17635:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SR 990</subfield><subfield code="0">(DE-625)143372:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SU 100</subfield><subfield code="0">(DE-625)143693:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Harel, David</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109527992</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computers Ltd.</subfield><subfield code="b">what they really can't do</subfield><subfield code="c">David Harel</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Special 2012 reprint</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIII, 222 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computadoras</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software para computadora</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ungelöstes Problem</subfield><subfield code="0">(DE-588)4186869-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Ungelöstes Problem</subfield><subfield code="0">(DE-588)4186869-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025373198&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025373198</subfield></datafield></record></collection> |
| id | DE-604.BV040527047 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:25:47Z |
| institution | BVB |
| isbn | 9780198604426 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025373198 |
| oclc_num | 820384176 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | XXIII, 222 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Harel, David 1950- Verfasser (DE-588)109527992 aut Computers Ltd. what they really can't do David Harel Special 2012 reprint Oxford [u.a.] Oxford Univ. Press 2012 XXIII, 222 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computadoras Software para computadora Computer software Computers Algorithmus (DE-588)4001183-5 gnd rswk-swf Ungelöstes Problem (DE-588)4186869-9 gnd rswk-swf Computer (DE-588)4070083-5 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf Algorithmus (DE-588)4001183-5 s Berechnungskomplexität (DE-588)4134751-1 s Computer (DE-588)4070083-5 s Ungelöstes Problem (DE-588)4186869-9 s DE-604 Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025373198&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Harel, David 1950- Computers Ltd. what they really can't do Computadoras Software para computadora Computer software Computers Algorithmus (DE-588)4001183-5 gnd Ungelöstes Problem (DE-588)4186869-9 gnd Computer (DE-588)4070083-5 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4001183-5 (DE-588)4186869-9 (DE-588)4070083-5 (DE-588)4134751-1 |
| title | Computers Ltd. what they really can't do |
| title_auth | Computers Ltd. what they really can't do |
| title_exact_search | Computers Ltd. what they really can't do |
| title_full | Computers Ltd. what they really can't do David Harel |
| title_fullStr | Computers Ltd. what they really can't do David Harel |
| title_full_unstemmed | Computers Ltd. what they really can't do David Harel |
| title_short | Computers Ltd. |
| title_sort | computers ltd what they really can t do |
| title_sub | what they really can't do |
| topic | Computadoras Software para computadora Computer software Computers Algorithmus (DE-588)4001183-5 gnd Ungelöstes Problem (DE-588)4186869-9 gnd Computer (DE-588)4070083-5 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Computadoras Software para computadora Computer software Computers Algorithmus Ungelöstes Problem Computer Berechnungskomplexität |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025373198&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hareldavid computersltdwhattheyreallycantdo |