Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Die Antwortzeit im Portal kann derzeit länger als üblich sein. Wir bitten um Entschuldigung.
Export
Filter
  • 1
    UID:
    b3kat_BV036962894
    Format: 1 Online-Ressource (xix, 668 p.) , ill , 23 cm
    Edition: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444894837 , 9780444894830
    Series Statement: Studies in logic and the foundations of mathematics v. 125
    Note: "First edition 1989"--T.p. verso. - Includes bibliographical references and indexes , Urspruengliches Erscheinungsjahr:1989
    Additional Edition: Reproduktion von Classical recursion theory 1992
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Rekursionstheorie ; Electronic books
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almatuudk_9922020366402884
    Format: 1 online resource (689 p.)
    Edition: [2nd ed.].
    ISBN: 1-281-75468-4 , 9786611754686 , 0-08-088659-0
    Series Statement: Studies in logic and the foundations of mathematics ; v. 125
    Content: 1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of application
    Note: Description based upon print version of record. , Cover; Copyright Page; Dedication; Foreword; Preface; Preface to the Second Edition; TOCContents; Introduction; What is 'Classical'; What is in the Book; Applications of Recursion Theory; How to Use the Book; Notations and Conventions; CHChapter I. Recursiveness and Computability; I.1 Induction; I.2 Systems of Equations; I.3 Arithmetical Formal Systems; I.4 Turing Machines; I.5 Flowcharts; I.6 Functions as Rules; I.7 Arithmetization; I.8 Church's Thesis; CHChapter II. Basic Recursion Theory; II.1 Partial Recursive Functions; II.2 Diagonalization; II.3 Partial Recursive Functionals , II.4 Effective OperationsII.5 Indices and Enumerations; II.6 Retraceable and Regressive Sets; CHChapter III. Post's Problem and Strong Reducibilities; III.1 Post's Problem; III.2 Simple Sets and Many-One Degrees; III.3 Hypersimple Sets and Truth-Table Degrees; III.4 Hyperhypersimple Sets and Q-Degrees; III.5 A Solution to Post's Problem; III.6 Creative Sets and Completeness; III.7 Recursive Isomorphism Types; III.8 Variations of Truth-Table Reducibility; III.9 The World of Complete Sets; III.10 Formal Systems and R.E. Sets; CHChapter IV. Hierarchies and Weak Reducibilities , IV.l The Arithmetical HierarchyIV.2 The Analytical Hierarchy; IV.3 The Set-Theoretical Hierarchy; IV.4 The Constructible Hierarchy; CHChapter V. Turing Degrees; V.1 The Language of Degree Theory; V.2 The Finite Extension Method; V.3 Baire Category; V.4 The Coinfinite Extension Method; V.5 The Tree Method; V.6 Initial Segments; V.7 Global Properties; V.8 Degree Theory with Jump; CHChapter VI. Many-One and Other Degrees; VI.1 Distributivity; VI.2 Countable Initial Segments; VI.3 Uncountable Initial Segments; VI.4 Global Properties; VI.5 Comparison of Degree Theories , VI.6 Structure Inside DegreesBibliography; Notation Index; IDXSubject Index , English
    Additional Edition: ISBN 0-444-87295-7
    Additional Edition: ISBN 0-444-89483-7
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    almahu_BV024388978
    Format: XVII, 668 S. : graph. Darst.
    Edition: 2. impr.
    ISBN: 0-444-87295-7 , 0-444-89483-7
    Series Statement: Studies in logic and the foundations of mathematics 125
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Rekursionstheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_BV012857285
    Format: XIX, 668 S. : graph. Darst.
    Edition: Paperback ed., 2. imp.
    ISBN: 0-444-87295-7 , 0-444-89483-7
    Series Statement: Studies in logic and the foundations of mathematics 125
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Rekursionstheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 0444854037?
Did you mean 0444804137?
Did you mean 0444814817?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages