Reflexive Structures: An Introduction to Computability Theory
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer New York
1988
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics |
| Beschreibung: | 1 Online-Ressource (XII, 233p) |
| ISBN: | 9781461238782 9781461283867 |
| DOI: | 10.1007/978-1-4612-3878-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042420170 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1988 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461238782 |c Online |9 978-1-4612-3878-2 | ||
| 020 | |a 9781461283867 |c Print |9 978-1-4612-8386-7 | ||
| 024 | 7 | |a 10.1007/978-1-4612-3878-2 |2 doi | |
| 035 | |a (OCoLC)1184354563 | ||
| 035 | |a (DE-599)BVBBV042420170 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Sanchis, Luis E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reflexive Structures |b An Introduction to Computability Theory |c by Luis E. Sanchis |
| 264 | 1 | |a New York, NY |b Springer New York |c 1988 | |
| 300 | |a 1 Online-Ressource (XII, 233p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics | ||
| 600 | 1 | 7 | |a Spee, Friedrich von |d 1591-1635 |0 (DE-588)11861598X |2 gnd |9 rswk-swf |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 655 | 7 | |8 1\p |0 (DE-588)4006804-3 |a Biografie |2 gnd-content | |
| 689 | 0 | 0 | |a Spee, Friedrich von |d 1591-1635 |0 (DE-588)11861598X |D p |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4612-3878-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027855587 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804153091760586752 |
|---|---|
| any_adam_object | |
| author | Sanchis, Luis E. |
| author_facet | Sanchis, Luis E. |
| author_role | aut |
| author_sort | Sanchis, Luis E. |
| author_variant | l e s le les |
| building | Verbundindex |
| bvnumber | BV042420170 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184354563 (DE-599)BVBBV042420170 |
| 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 |
| doi_str_mv | 10.1007/978-1-4612-3878-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02852nmm a2200517zc 4500</leader><controlfield tag="001">BV042420170</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1988 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461238782</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4612-3878-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461283867</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4612-8386-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4612-3878-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184354563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042420170</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-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sanchis, Luis E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reflexive Structures</subfield><subfield code="b">An Introduction to Computability Theory</subfield><subfield code="c">by Luis E. Sanchis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 233p)</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="500" ind1=" " ind2=" "><subfield code="a">Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Spee, Friedrich von</subfield><subfield code="d">1591-1635</subfield><subfield code="0">(DE-588)11861598X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4006804-3</subfield><subfield code="a">Biografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Spee, Friedrich von</subfield><subfield code="d">1591-1635</subfield><subfield code="0">(DE-588)11861598X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4612-3878-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027855587</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></record></collection> |
| genre | 1\p (DE-588)4006804-3 Biografie gnd-content |
| genre_facet | Biografie |
| id | DE-604.BV042420170 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:06Z |
| institution | BVB |
| isbn | 9781461238782 9781461283867 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027855587 |
| oclc_num | 1184354563 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XII, 233p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Springer New York |
| record_format | marc |
| spelling | Sanchis, Luis E. Verfasser aut Reflexive Structures An Introduction to Computability Theory by Luis E. Sanchis New York, NY Springer New York 1988 1 Online-Ressource (XII, 233p) txt rdacontent c rdamedia cr rdacarrier Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics Spee, Friedrich von 1591-1635 (DE-588)11861598X gnd rswk-swf Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Computation by Abstract Devices Computer Science, general Informatik Mathematik 1\p (DE-588)4006804-3 Biografie gnd-content Spee, Friedrich von 1591-1635 (DE-588)11861598X p 2\p DE-604 https://doi.org/10.1007/978-1-4612-3878-2 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 |
| spellingShingle | Sanchis, Luis E. Reflexive Structures An Introduction to Computability Theory Spee, Friedrich von 1591-1635 (DE-588)11861598X gnd Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Computation by Abstract Devices Computer Science, general Informatik Mathematik |
| subject_GND | (DE-588)11861598X (DE-588)4006804-3 |
| title | Reflexive Structures An Introduction to Computability Theory |
| title_auth | Reflexive Structures An Introduction to Computability Theory |
| title_exact_search | Reflexive Structures An Introduction to Computability Theory |
| title_full | Reflexive Structures An Introduction to Computability Theory by Luis E. Sanchis |
| title_fullStr | Reflexive Structures An Introduction to Computability Theory by Luis E. Sanchis |
| title_full_unstemmed | Reflexive Structures An Introduction to Computability Theory by Luis E. Sanchis |
| title_short | Reflexive Structures |
| title_sort | reflexive structures an introduction to computability theory |
| title_sub | An Introduction to Computability Theory |
| topic | Spee, Friedrich von 1591-1635 (DE-588)11861598X gnd Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Computation by Abstract Devices Computer Science, general Informatik Mathematik |
| topic_facet | Spee, Friedrich von 1591-1635 Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Computation by Abstract Devices Computer Science, general Informatik Mathematik Biografie |
| url | https://doi.org/10.1007/978-1-4612-3878-2 |
| work_keys_str_mv | AT sanchisluise reflexivestructuresanintroductiontocomputabilitytheory |