Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Handbook of computability theory [Texte électronique] / edited by Edward R. Griffor

Édition : 1st ed.

Publication : Amsterdam ; New York : Elsevier, 1999

Description matérielle : 1 ressource dématérialisée

Collection : Studies in logic and the foundations of mathematics ; v. 140

Note(s) : Includes bibliographical references and indexes

Autre(s) auteur(s) : Griffor, Edward R.. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Ordinateurs  Voir les notices liées en tant que sujet
Logique informatique  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Fonctions calculables  Voir les notices liées en tant que sujet
Complexité de calcul (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780444898821

Identifiant de la notice  : ark:/12148/cb44649107r

Notice n° :  FRBNF44649107 (notice reprise d'un réservoir extérieur)

Table des matières : 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.