Buchumschlag

Handbook of computability theory

Part 1: Fundamentals of Computability Theory. -- Part 2: Reducibilities and Degrees. -- Part 3: Generalized Computability Theory. -- Part 4: Mathematics and Computability Theory. -- Part 5: Logic and Computability Theory. -- Part 6: Computer Science and Computability Theory

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Griffor, Edward R. (HerausgeberIn)
Dokumenttyp: Sammelband
Sprache:Englisch
Veröffentlicht: Amsterdam Elsevier Science & Technology 1999
Amsterdam [u.a.] Elsevier 1999
Ausgabe:1. ed
Schriftenreihe:Studies in logic and the foundations of mathematics 140
In: Studies in logic and the foundations of mathematics (140)

Volumes / Articles: Show Volumes / Articles.
Schlagworte:
Electronic books
Aufsatzsammlung
Berechnungstheorie
Online-Zugang:Verlag, Volltext: http://www.sciencedirect.com/science/book/9780444898821
Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:0923.03001
Volltext
Verfasserangaben:ed. by Edward R. Griffor

MARC

LEADER 00000cam a2200000 c 4500
001 622966774
003 DE-627
005 20250118225835.0
007 cr uuu---uuuuu
008 080204s1999 ne |||||o 00| ||eng c
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 
020 |a 9780444898821  |9 978-0-444-89882-1 
035 |a (DE-627)622966774 
035 |a (DE-576)276879317 
035 |a (DE-599)GBV622966774 
035 |a (OCoLC)731730572 
035 |a (OCoLC)162130533 
035 |a (ZBM)0923.03001 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-NL  |c XA-CH  |c XD-US 
050 0 |a QA9.59 
072 7 |a QA  |2 lcco 
072 7 |a MAT  |2 bisacsh 
082 0 |a 511.3 
084 |a 27  |2 sdnb 
084 |a 27  |2 sdnb 
084 |a SK 130  |2 rvk  |0 (DE-625)rvk/143216: 
084 |a *03-00  |2 msc 
084 |a 00B15  |2 msc 
084 |a 31.10  |2 bkl 
084 |a 54.10  |2 bkl 
245 0 0 |a Handbook of computability theory  |c ed. by Edward R. Griffor 
250 |a 1. ed 
264 1 |a Amsterdam  |b Elsevier Science & Technology  |c 1999 
264 1 |a Amsterdam [u.a.]  |b Elsevier  |c 1999 
300 |a Online Ressource (xii, 727 p.) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics  |v 140 
500 |a Includes bibliographical references and indexes. - Description based on print version record 
520 |a Part 1: Fundamentals of Computability Theory. -- Part 2: Reducibilities and Degrees. -- Part 3: Generalized Computability Theory. -- Part 4: Mathematics and Computability Theory. -- Part 5: Logic and Computability Theory. -- Part 6: Computer Science and Computability Theory 
520 |a The history and concpt of computability / R.I. Soare -- Recursively bounded (r.b.) classes in recursion theory / D. Cenzer -- Reducibilities / P. Odifreddi -- Local degree theory / S.B. Cooper -- The global structure of the Turing degrees / T.A. Slaman -- The recursively enumerable degrees / R.A. Shore -- An overview of the computably enumerable sets / R.I. Soare -- The continuous functionals / D. Normann -- Ordinal recursion theory / C.T. Chong and S.D. Friedman -- E-recursion / G.E. Sacks -- Recursion on abstract structures / P.G. Hinman -- Computable rings and fields / V. Stoltenberg-Hansen and J.V. Tucker -- The structure of computability in analysis and physical theory : an extension of Church's thesis / M.B. Pour-El -- Theory of numberings / Y.L. Ershov -- Pure recursive model theory / T.S. Millar -- Classifying recursive functions / H. Schwichtenberg -- Computation models and function algebras / P. Clote -- Polynomial time reducibilities and degrees / K. Ambos-Spies 
520 |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 
533 |a Online-Ausg.  |f ScienceDirect 
650 0 |a Fonctions calculables 
650 0 |a Computable functions 
655 4 |a Electronic books 
655 7 |a Aufsatzsammlung  |0 (DE-588)4143413-4  |0 (DE-627)105605727  |0 (DE-576)209726091  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4005581-4  |0 (DE-627)106380753  |0 (DE-576)208861769  |a Berechnungstheorie  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Griffor, Edward R.  |e Hrsg.  |4 edt 
776 1 |z 0444898824 
776 0 8 |i Erscheint auch als  |n Druck-Ausgabe  |t Handbook of computability theory  |b 1. ed.  |d Amsterdam [u.a.] : Elsevier, 1999  |h XII, 727 S.  |w (DE-627)267630239  |w (DE-576)082084181  |z 0444898824 
830 0 |a Studies in logic and the foundations of mathematics  |v 140  |9 140  |w (DE-627)556300998  |w (DE-576)276562054  |w (DE-600)2402943-9  |x 0049-237X  |7 am 
856 4 0 |u http://www.sciencedirect.com/science/book/9780444898821  |x Verlag  |3 Volltext 
856 4 2 |u https://zbmath.org/?q=an:0923.03001  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a BSZ-33-ECE 
912 |a ZDB-33-EBS 
912 |a ZDB-33-MTC 
935 |i Blocktest 
936 r v |a SK 130  |b Logik und Grundlagen, Metamathematik,  |k Mathematik  |k Monografien  |k Logik und Grundlagen, Metamathematik,  |0 (DE-627)1270918567  |0 (DE-625)rvk/143216:  |0 (DE-576)200918567 
936 b k |a 31.10  |j Mathematische Logik  |j Mengenlehre  |0 (DE-627)10640847X 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
950 |a Pre 2007 
951 |a BO 
990 |a Berechnungstheorie 
992 |a 20170220 
999 |a KXP-PPN622966774  |e 3317117788 
BIB |a Y 
SPR |a Y 
JSO |a {"relMultPart":[{"dispAlt":"Studies in logic and the foundations of mathematics","physDesc":[{"extent":"Online-Ressource"}],"id":{"zdb":["2402943-9"],"eki":["556300998"],"issn":["0049-237X"]},"origin":[{"dateIssuedDisp":"1950-","publisher":"Elsevier","dateIssuedKey":"1950","publisherPlace":"Amsterdam [u.a.]"}],"part":{"number":["140"],"number_sort":["140"]},"pubHistory":["[1.]1950 - [60.]1970; 61.1971 -"],"recId":"556300998","language":["eng"],"type":{"bibl":"serial","media":"Online-Ressource"},"disp":"Studies in logic and the foundations of mathematics","note":["Gesehen am 12.04.23"],"title":[{"title":"Studies in logic and the foundations of mathematics","title_sort":"Studies in logic and the foundations of mathematics"}]}],"note":["Includes bibliographical references and indexes. - Description based on print version record"],"type":{"bibl":"edited-book","media":"Online-Ressource"},"physDesc":[{"extent":"Online Ressource (xii, 727 p.)"}],"recId":"622966774","language":["eng"],"title":[{"title":"Handbook of computability theory","title_sort":"Handbook of computability theory"}],"origin":[{"dateIssuedKey":"1999","edition":"1. ed","editionNo":"1","publisherPlace":"Amsterdam ; Amsterdam [u.a.]","publisher":"Elsevier Science & Technology ; Elsevier","dateIssuedDisp":"1999"}],"id":{"eki":["622966774"],"isbn":["0444898824","9780080533049","0080533043","9780444898821"]},"name":{"displayForm":["ed. by Edward R. Griffor"]},"person":[{"role":"edt","roleDisplay":"Hrsg.","display":"Griffor, Edward R.","given":"Edward R.","family":"Griffor"}]} 
SRT |a HANDBOOKOF1999 

Ähnliche Einträge