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

Auteur(s) : Enderton, Herbert B.  Voir les notices liées en tant qu'auteur

Titre(s) : Computability theory [Texte électronique] : an introduction to recursion theory / Herbert B. Enderton

Publication : Amsterdam ; Boston : Academic Press, cop. 2011

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

Note(s) : Includes bibliographical references (pages 163-164) and index

Sujet(s) : Récursivité, Théorie de la  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.35 (23e éd.) = Théorie de la récursivité  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780123849588

Identifiant de la notice  : ark:/12148/cb446346636

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

Table des matières : The computability concept ; General recursive functions ; Programs and machines ; Recursive enumerability ; Connections to logic ; Degrees of unsolvability ; Polynomial-time computability ; A1: Mathspeak ; A2: Countability ; A3: Decadic Notation.