Handbook of computability theory:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
1999
|
| Ausgabe: | 1st ed |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 140 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers Includes bibliographical references and indexes |
| Beschreibung: | 1 Online-Ressource (xii, 727 p.) |
| ISBN: | 9780444898821 0444898824 9780080533049 0080533043 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317265 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1999 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444898821 |9 978-0-444-89882-1 | ||
| 020 | |a 0444898824 |9 0-444-89882-4 | ||
| 020 | |a 9780080533049 |c electronic bk. |9 978-0-08-053304-9 | ||
| 020 | |a 0080533043 |c electronic bk. |9 0-08-053304-3 | ||
| 035 | |a (ZDB-33-EBS)ocn162130533 | ||
| 035 | |a (OCoLC)162130533 | ||
| 035 | |a (DE-599)BVBBV042317265 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 245 | 1 | 0 | |a Handbook of computability theory |c edited by Edward R. Griffor |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |b Elsevier |c 1999 | |
| 300 | |a 1 Online-Ressource (xii, 727 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 140 | |
| 500 | |a The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers | ||
| 500 | |a Includes bibliographical references and indexes | ||
| 650 | 4 | |a Fonctions calculables | |
| 650 | 7 | |a Berekenbaarheid |2 gtt | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast | |
| 650 | 4 | |a Computable functions | |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursive Funktion |0 (DE-588)4138367-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zahlentheorie |0 (DE-588)4067277-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Zahlentheorie |0 (DE-588)4067277-3 |D s |
| 689 | 0 | 2 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 1 | 1 | |a Rekursive Funktion |0 (DE-588)4138367-9 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Griffor, Edward R. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444898821 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754255 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152913503715328 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042317265 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162130533 (OCoLC)162130533 (DE-599)BVBBV042317265 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03746nmm a2200733zcb4500</leader><controlfield tag="001">BV042317265</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444898821</subfield><subfield code="9">978-0-444-89882-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444898824</subfield><subfield code="9">0-444-89882-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080533049</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-053304-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080533043</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-053304-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162130533</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130533</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317265</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of computability theory</subfield><subfield code="c">edited by Edward R. Griffor</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 727 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 140</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions calculables</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Berekenbaarheid</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computable functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</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="650" ind1="0" ind2="7"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zahlentheorie</subfield><subfield code="0">(DE-588)4067277-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zahlentheorie</subfield><subfield code="0">(DE-588)4067277-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Griffor, Edward R.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444898821</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754255</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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="883" ind1="1" ind2=" "><subfield code="8">4\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></record></collection> |
| id | DE-604.BV042317265 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780444898821 0444898824 9780080533049 0080533043 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754255 |
| oclc_num | 162130533 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xii, 727 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Handbook of computability theory edited by Edward R. Griffor 1st ed Amsterdam Elsevier 1999 1 Online-Ressource (xii, 727 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 140 The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers Includes bibliographical references and indexes Fonctions calculables Berekenbaarheid gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Computable functions Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Rekursive Funktion (DE-588)4138367-9 gnd rswk-swf Zahlentheorie (DE-588)4067277-3 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Zahlentheorie (DE-588)4067277-3 s Berechenbarkeit (DE-588)4138368-0 s 1\p DE-604 Rekursive Funktion (DE-588)4138367-9 s 2\p DE-604 Rekursionstheorie (DE-588)4122329-9 s 3\p DE-604 Berechnungstheorie (DE-588)4005581-4 s 4\p DE-604 Griffor, Edward R. Sonstige oth http://www.sciencedirect.com/science/book/9780444898821 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Handbook of computability theory Fonctions calculables Berekenbaarheid gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Computable functions Berechnungstheorie (DE-588)4005581-4 gnd Rekursive Funktion (DE-588)4138367-9 gnd Zahlentheorie (DE-588)4067277-3 gnd Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| subject_GND | (DE-588)4005581-4 (DE-588)4138367-9 (DE-588)4067277-3 (DE-588)4138368-0 (DE-588)4037951-6 (DE-588)4122329-9 |
| title | Handbook of computability theory |
| title_auth | Handbook of computability theory |
| title_exact_search | Handbook of computability theory |
| title_full | Handbook of computability theory edited by Edward R. Griffor |
| title_fullStr | Handbook of computability theory edited by Edward R. Griffor |
| title_full_unstemmed | Handbook of computability theory edited by Edward R. Griffor |
| title_short | Handbook of computability theory |
| title_sort | handbook of computability theory |
| topic | Fonctions calculables Berekenbaarheid gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Computable functions Berechnungstheorie (DE-588)4005581-4 gnd Rekursive Funktion (DE-588)4138367-9 gnd Zahlentheorie (DE-588)4067277-3 gnd Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| topic_facet | Fonctions calculables Berekenbaarheid MATHEMATICS / Infinity MATHEMATICS / Logic Computable functions Berechnungstheorie Rekursive Funktion Zahlentheorie Berechenbarkeit Mathematische Logik Rekursionstheorie |
| url | http://www.sciencedirect.com/science/book/9780444898821 |
| work_keys_str_mv | AT grifforedwardr handbookofcomputabilitytheory |