The foundations of computability theory:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Heidelberg ; New York ; Dordrecht ; London ; Berlin
Springer
[2015]
|
| Schriftenreihe: | Computer science
|
| Schlagwörter: | |
| Links: | http://deposit.dnb.de/cgi-bin/dokserv?id=4748396&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028612127&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturverzeichnis Seite 311 - 317 |
| Umfang: | xx, 331 Seiten Illustrationen |
| ISBN: | 9783662448076 9783662448083 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043188392 | ||
| 003 | DE-604 | ||
| 005 | 20160307 | ||
| 007 | t| | ||
| 008 | 151204s2015 gw a||| |||| 00||| eng d | ||
| 016 | 7 | |a 1054845239 |2 DE-101 | |
| 020 | |a 9783662448076 |c hbk. |9 978-3-662-44807-6 | ||
| 020 | |a 9783662448083 |c eBook |9 978-3-662-44808-3 | ||
| 035 | |a (OCoLC)888453003 | ||
| 035 | |a (DE-599)DNB1054845239 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-188 |a DE-11 | ||
| 082 | 0 | |a 004.01511352 |2 22/ger | |
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Robič, Borut |d 1960- |e Verfasser |0 (DE-588)120990784 |4 aut | |
| 245 | 1 | 0 | |a The foundations of computability theory |c Borut Robič |
| 264 | 1 | |a Heidelberg ; New York ; Dordrecht ; London ; Berlin |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a xx, 331 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Computer science | |
| 500 | |a Literaturverzeichnis Seite 311 - 317 | ||
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computermathematik |0 (DE-588)4788218-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 653 | |a Graduate | ||
| 653 | |a Computability theory | ||
| 653 | |a Algorithms | ||
| 653 | |a Models of computation | ||
| 653 | |a Turing machine | ||
| 653 | |a Oracles | ||
| 653 | |a Relative computability | ||
| 689 | 0 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Computermathematik |0 (DE-588)4788218-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o 10.1007/978-3-662-44808-3 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4748396&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028612127&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028612127 | |
Datensatz im Suchindex
| _version_ | 1819299625466593280 |
|---|---|
| adam_text | CONTENTS
PART I THE ROOTS OF COMPUTABILITY THEORY
1 INTRODUCTION 3
1.1 ALGORITHMS AND COMPUTATION 3
1.1.1 THE INTUITIVE CONCEPT OF THE ALGORITHM AND COMPUTATION... 3
1.1.2 ALGORITHMS AND COMPUTATIONS BEFORE THE TWENTIETH CENTURY 5
1.2 CHAPTER SUMMARY 7
2 THE FOUNDATIONAL CRISIS OF MATHEMATICS 9
2.1 CRISIS IN SET THEORY 9
2.1.1 AXIOMATIC SYSTEMS 9
2.1.2 CANTOR S NAIVE SET THEORY 13
2.1.3 LOGICAL PARADOXES 17
2.2 SCHOOLS OF RECOVERY 19
2.2.1 SLOWDOWN AND REVISION 20
2.2.2 LNTUITIONISM 20
2.2.3 LOGICISM 23
2.2.4 FORMALISM 26
2.3 CHAPTER SUMMARY 29
3 FORMALISM 31
3.1 FORMAL AXIOMATIC SYSTEMS AND THEORIES 31
3.1.1 WHAT IS A FORMAL AXIOMATIC SYSTEM? 31
3.1.2 INTERPRETATIONS AND MODELS 35
3.2 FORMALIZATION OF LOGIC, ARITHMETIC, AND SET THEORY 39
3.3 CHAPTER SUMMARY 48
4 HILBERT S ATTEMPT AT RECOVERY 49
4.1 HILBERT S PROGRAM 49
4.1.1 FUNDAMENTAL PROBLEMS OF THE FOUNDATIONS OF MATHEMATICS . 49
4.1.2 HILBERT S PROGRAM 53
XV
HTTP://D-NB.INFO/1054845239
XVI CONTENTS
4.2 THE FATE OF HILBERT S PROGRAM 54
4.2.1 FORMALIZATION OF MATHEMATICS: FORMAL AXIOMATIC SYSTEM M 54
4.2.2 DECIDABILITY OF M: ENTSCHEIDUNGSPROBLEM 55
4.2.3 COMPLETENESS OF M: GODEL S FIRST INCOMPLETENESS THEOREM 57
4.2.4 CONSEQUENCES OF THE FIRST INCOMPLETENESS THEOREM 58
4.2.5 CONSISTENCY OF M: GODEL S SECOND INCOMPLETENESS THEOREM 60
4.2.6 CONSEQUENCES OF THE SECOND INCOMPLETENESS THEOREM 61
4.3 LEGACY OF HILBERT S PROGRAM 63
4.4 CHAPTER SUMMARY 64
PROBLEMS 64
BIBLIOGRAPHIC NOTES 65
PART II CLASSICAL COMPUTABILITY THEORY
5 THE QUEST FOR A FORMALIZATION 69
5.1 WHAT IS AN ALGORITHM AND WHAT DO WE MEAN BY COMPUTATION? ... 69
5.1.1 INTUITION AND DILEMMAS 70
5.1.2 THE NEED FOR FORMALIZATION 71
5.2 MODELS OF COMPUTATION 72
5.2.1 MODELLING AFTER FUNCTIONS 72
5.2.2 MODELLING AFTER HUMANS 80
5.2.3 MODELLING AFTER LANGUAGES 82
5.2.4 REASONABLE MODELS OF COMPUTATION 86
5.3 COMPUTABILITY (CHURCH-TURING) THESIS 87
5.3.1 HISTORY OF THE THESIS 87
5.3.2 THE THESIS 88
5.3.3 DIFFICULTIES WITH TOTAL FUNCTIONS 90
5.3.4 GENERALIZATION TO PARTIAL FUNCTIONS 93
5.3.5 APPLICATIONS OF THE THESIS 97
5.4 CHAPTER SUMMARY 97
PROBLEMS 98
BIBLIOGRAPHIC NOTES 99
6 THE TTARING MACHINE 101
6.1 TURING MACHINE 101
6.1.1 BASIC MODEL 102
6.1.2 GENERALIZED MODELS 107
6.1.3 EQUIVALENCE OF GENERALIZED AND BASIC MODELS 109
6.1.4 REDUCED MODEL 113
6.1.5 EQUIVALENCE OF REDUCED AND BASIC MODELS 114
6.1.6 USE OF DIFFERENT MODELS 114
6.2 UNIVERSAL TURING MACHINE 115
6.2.1 CODING AND ENUMERATION OF TURING MACHINES 115
6.2.2 THE EXISTENCE OF A UNIVERSAL TURING MACHINE 117
6.2.3 THE IMPORTANCE OF THE UNIVERSAL TURING MACHINE 119
CONTENTS XVII
6.2.4 PRACTICAL CONSEQUENCES: DATA VS. INSTRUCTIONS 119
6.2.5 PRACTICAL CONSEQUENCES: GENERAL-PURPOSE COMPUTER 119
6.2.6 PRACTICAL CONSEQUENCES: OPERATING SYSTEM 121
6.2.7 PRACTICAL CONSEQUENCES: RAM MODEL OF COMPUTATION 122
6.3 USE OF A TURING MACHINE 125
6.3.1 FUNCTION COMPUTATION 125
6.3.2 SET GENERATION 127
6.3.3 SET RECOGNITION 130
6.3.4 GENERATION VS. RECOGNITION 133
6.3.5 THE STANDARD UNIVERSES Z* AND N 136
6.3.6 FORMAL LANGUAGES VS. SETS OF NATURAL NUMBERS 137
6.4 CHAPTER SUMMARY 138
PROBLEMS 139
BIBLIOGRAPHIC NOTES 141
7 THE FIRST BASIC RESULTS 143
7.1 SOME BASIC PROPERTIES OF SEMI-DECIDABLE (C.E.) SETS 143
7.2 PADDING LEMMA AND INDEX SETS 145
7.3 PARAMETRIZATION (S-M-N) THEOREM 147
7.3.1 DEDUCTION OF THE THEOREM 148
7.4 RECURSION (FIXED-POINT) THEOREM 149
7.4.1 DEDUCTION OF THE THEOREM 150
7.4.2 INTERPRETATION OF THE THEOREM 151
7.4.3 FIXED POINTS OF FUNCTIONS 152
7.4.4 PRACTICAL CONSEQUENCES: RECURSIVE PROGRAM DEFINITION 153
7.4.5 PRACTICAL CONSEQUENCES: RECURSIVE PROGRAM EXECUTION 154
7.4.6 PRACTICAL CONSEQUENCES: PROCEDURE CALLS IN GENERAL-
PURPOSE COMPUTERS 156
7.5 CHAPTER SUMMARY 158
PROBLEMS 159
BIBLIOGRAPHIC NOTES 160
8 INCOMPUTABLE PROBLEMS 161
8.1 PROBLEM SOLVING 161
8.1.1 DECISION PROBLEMS AND OTHER KINDS OF PROBLEMS 162
8.1.2 LANGUAGE OF A DECISION PROBLEM 163
8.1.3 SUBPROBLEMS OF A DECISION PROBLEM 165
8.2 THERE IS AN INCOMPUTABLE PROBLEM * HALTING PROBLEM 166
8.2.1 CONSEQUENCES: THE BASIC KINDS OF DECISION PROBLEMS 169
8.2.2 CONSEQUENCES: COMPLEMENTARY SETS AND DECISION PROBLEMS 171
8.2.3 CONSEQUENCES: THERE IS AN INCOMPUTABLE FUNCTION 172
8.3 SOME OTHER INCOMPUTABLE PROBLEMS 172
8.3.1 PROBLEMS ABOUT TURING MACHINES 173
8.3.2 POST S CORRESPONDENCE PROBLEM 175
8.3.3 PROBLEMS ABOUT ALGORITHMS AND COMPUTER PROGRAMS 175
XVIII
CONTENTS
8.3.4 PROBLEMS ABOUT PROGRAMMING LANGUAGES AND GRAMMARS .. 177
8.3.5 PROBLEMS ABOUT COMPUTABLE FUNCTIONS 179
8.3.6 PROBLEMS FROM NUMBER THEORY 180
8.3.7 PROBLEMS FROM ALGEBRA 180
8.3.8 PROBLEMS FROM ANALYSIS 182
8.3.9 PROBLEMS FROM TOPOLOGY 183
8.3.10 PROBLEMS FROM MATHEMATICAL LOGIC 184
8.3.11 PROBLEMS ABOUT GAMES 185
8.4 CAN WE OUTWIT INCOMPUTABLE PROBLEMS? 187
8.5 CHAPTER SUMMARY 189
PROBLEMS 189
BIBLIOGRAPHIC NOTES 190
9 METHODS OF PROVING INCOMPUTABILITY 191
9.1 PROVING BY DIAGONALIZATION 191
9.1.1 DIRECT DIAGONALIZATION 191
9.1.2 INDIRECT DIAGONALIZATION 194
9.2 PROVING BY REDUCTION 196
9.2.1 REDUCTIONS IN GENERAL 196
9.2.2 THE M-REDUCTION 197
9.2.3 UNDECIDABILITY AND M-REDUCTION 199
9.2.4 THE 1-REDUCTION 201
9.3 PROVING BY THE RECURSION THEOREM 204
9.4 PROVING BY RICE S THEOREM 205
9.4.1 RICE S THEOREM FOR FUNCTIONS 205
9.4.2 RICE S THEOREM FOR INDEX SETS 206
9.4.3 RICE S THEOREM FOR SETS 208
9.4.4 CONSEQUENCES: BEHAVIOR OF ABSTRACT COMPUTING MACHINES . 209
9.5 INCOMPUTABILITY OF OTHER KINDS OF PROBLEMS 210
9.6 CHAPTER SUMMARY 213
PROBLEMS 213
BIBLIOGRAPHIC NOTES 215
PART III RELATIVE COMPUTABILITY
10 COMPUTATION WITH EXTERNAL HELP 219
10.1 TURING MACHINES WITH ORACLES 219
10.1.1 TURING S IDEA OF ORACULAR HELP 220
10.1.2 THE ORACLE TURING MACHINE (O-TM) 223
10.1.3 SOME BASIC PROPERTIES OF O-TMS 225
10.1.4 CODING AND ENUMERATION OF O-TMS 226
10.2 COMPUTATION WITH ORACLES 228
10.2.1 GENERALIZATION OF CLASSICAL DEFINITIONS 228
10.2.2 CONVENTION: THE UNIVERSE N AND SINGLE-ARGUMENT FUNCTIONS231
10.3 OTHER WAYS TO MAKE EXTERNAL HELP AVAILABLE 231
CONTENTS XIX
10.4 RELATIVE COMPUTABILITY THESIS 232
10.5 PRACTICAL CONSEQUENCES: O-TM WITH A DATABASE OR NETWORK 232
10.6 PRACTICAL CONSEQUENCES: ONLINE AND OFFLINE COMPUTATION 233
10.7 CHAPTER SUMMARY 234
BIBLIOGRAPHIC NOTES 234
11 DEGREES OF UNSOLVABILITY 235
11.1 TURING REDUCTION 235
11.1.1 TURING REDUCTION OF A COMPUTATIONAL PROBLEM 236
11.1.2 SOME BASIC PROPERTIES OF THE TURING REDUCTION 237
11.2 TURING DEGREES 240
11.3 CHAPTER SUMMARY 243
PROBLEMS 244
BIBLIOGRAPHIC NOTES 244
12 THE TURING HIERARCHY OF UNSOLVABILITY 245
12.1 THE PERPLEXITIES OF UNSOLVABILITY 245
12.2 THE TURING JUMP 246
12.2.1 PROPERTIES OF THE TURING JUMP OF A SET 247
12.3 HIERARCHIES OF T-DEGREES 249
12.3.1 THE JUMP HIERARCHY 250
12.4 CHAPTER SUMMARY 252
PROBLEMS 252
BIBLIOGRAPHIC NOTES 253
13 THE CLASS 2? OF DEGREES OF UNSOLVABILITY 255
13.1 THE STRUCTURE ( , . ) 255
13.2 SOME BASIC PROPERTIES OF (T , , ) 257
13.2.1 CARDINALITY OF DEGREES AND OF THE CLASS X 257
13.2.2 THE CLASS T AS A MATHEMATICAL STRUCTURE 258
13.2.3 INTERMEDIATE 7 -DEGREES 263
13.2.4 CONES 264
13.2.5 MINIMAL T-DEGREES 266
13.3 CHAPTER SUMMARY 267
PROBLEMS 267
BIBLIOGRAPHIC NOTES 267
14 C.E. DEGREES AND THE PRIORITY METHOD 269
14.1 C.E. TURING DEGREES 269
14.2 POST S PROBLEM 270
14.2.1 POST S ATTEMPT AT A SOLUTION TO POST S PROBLEM 271
14.3 THE PRIORITY METHOD AND PRIORITY ARGUMENTS 274
14.3.1 THE PRIORITY METHOD IN GENERAL 274
14.3.2 THE FRIEDBERG-MUCHNIK SOLUTION TO POST S PROBLEM 278
14.3.3 PRIORITY ARGUMENTS 279
14.4 SOME PROPERTIES OF C.E. DEGREES 279
XX CONTENTS
14.5 CHAPTER SUMMARY 280
PROBLEMS 280
BIBLIOGRAPHIC NOTES 281
15 THE ARITHMETICAL HIERARCHY 283
15.1 DECIDABILITY OF RELATIONS 283
15.2 THE ARITHMETICAL HIERARCHY 284
15.3 THE LINK WITH THE JUMP HIERARCHY 288
15.4 PRACTICAL CONSEQUENCES: PROVING THE INCOMPUTABILITY 290
15.5 CHAPTER SUMMARY 292
PROBLEMS 292
BIBLIOGRAPHIC NOTES 293
16 FURTHER READING 295
A MATHEMATICAL BACKGROUND 297
B NOTATION INDEX 305
REFERENCES 311
INDEX 319
|
| any_adam_object | 1 |
| author | Robič, Borut 1960- |
| author_GND | (DE-588)120990784 |
| author_facet | Robič, Borut 1960- |
| author_role | aut |
| author_sort | Robič, Borut 1960- |
| author_variant | b r br |
| building | Verbundindex |
| bvnumber | BV043188392 |
| classification_rvk | ST 134 |
| ctrlnum | (OCoLC)888453003 (DE-599)DNB1054845239 |
| dewey-full | 004.01511352 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.01511352 |
| dewey-search | 004.01511352 |
| dewey-sort | 14.01511352 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02331nam a2200601 c 4500</leader><controlfield tag="001">BV043188392</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160307 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">151204s2015 gw a||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1054845239</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662448076</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-3-662-44807-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662448083</subfield><subfield code="c">eBook</subfield><subfield code="9">978-3-662-44808-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)888453003</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1054845239</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.01511352</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Robič, Borut</subfield><subfield code="d">1960-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120990784</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The foundations of computability theory</subfield><subfield code="c">Borut Robič</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg ; New York ; Dordrecht ; London ; Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xx, 331 Seiten</subfield><subfield code="b">Illustrationen</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="490" ind1="0" ind2=" "><subfield code="a">Computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis Seite 311 - 317</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Graduate</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computability theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Algorithms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Models of computation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Turing machine</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Oracles</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Relative computability</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">10.1007/978-3-662-44808-3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4748396&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=028612127&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028612127</subfield></datafield></record></collection> |
| id | DE-604.BV043188392 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T17:30:44Z |
| institution | BVB |
| isbn | 9783662448076 9783662448083 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028612127 |
| oclc_num | 888453003 |
| open_access_boolean | |
| owner | DE-188 DE-11 |
| owner_facet | DE-188 DE-11 |
| physical | xx, 331 Seiten Illustrationen |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series2 | Computer science |
| spellingShingle | Robič, Borut 1960- The foundations of computability theory Informatik (DE-588)4026894-9 gnd Computermathematik (DE-588)4788218-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4788218-9 (DE-588)4005581-4 |
| title | The foundations of computability theory |
| title_auth | The foundations of computability theory |
| title_exact_search | The foundations of computability theory |
| title_full | The foundations of computability theory Borut Robič |
| title_fullStr | The foundations of computability theory Borut Robič |
| title_full_unstemmed | The foundations of computability theory Borut Robič |
| title_short | The foundations of computability theory |
| title_sort | the foundations of computability theory |
| topic | Informatik (DE-588)4026894-9 gnd Computermathematik (DE-588)4788218-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Informatik Computermathematik Berechnungstheorie |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4748396&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028612127&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT robicborut thefoundationsofcomputabilitytheory |