Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Proceedings of symposia in pure mathematics , 0005
Localisation : Collection 1er étage
ambiguité et paradoxe # calculateur digital # fonction récursive # forme de négation de prédicat # générateur de suite # hiérarchie # isol # langage mécanique # machine de Turing universelle # mathématique intuitioniste # modèle non-standard # programme informatique # système de Post Tag # système formel # théorie des nombres # vérification de preuve mathématique
03D20 ; 03D55 ; 03Dxx ; 03F55 ; 03Hxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 307 p.
ISBN 978-0-387-12155-0
Perspectives in mathematical logic
Localisation : Ouvrage RdC (LERM)
degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis
03D20 ; 03D25 ; 03D30 ; 03D35 ; 03D55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Memoirs of the american mathematical society , 0057
Localisation : Collection 1er étage
axiome des choix dépendants # fermeture booléenne de sigma indice j # formule en sigma indice 0 # hiérarchie de formule en théorie des ensembles # hiérarchie relative # niveau inférieur de hiérarchie # phénomène de réflexion # prédicat de satisfaction # sentence indécidable # terme admissible # théorie des ensembles d'Ackermann # théorème de Skolem-Lowenheim # théorème de hiérarchie sémantique ou syntactique
03D35 ; 03D55 ; 03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 344 p.
ISBN 978-3-540-19305-0
Perpectives in mathematical logic
Localisation : Ouvrage RdC (SACK)
ensemble admissible # ensemble ordonné # fondement de la logique # logique # recursivité # théorie de la récursion
03D55 ; 03D60 ; 03D65 ; 03E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 141 p.
Localisation : Ouvrage RdC (GRZE)
ensemble récursivement énumérable # fonction calculable # fonction récursive # hiérarchie # indécidabilité # métamathématique # problème de décision # théorie des nombres intuitioniste # théororème de Gödel
03D20 ; 03D25 ; 03D35 ; 03D55 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 482 p.
McGraw-Hill series in higher mathematics
Localisation : Ouvrage RdC (ROGE)
calculabilité effective # degré d'insolvabilité # ensemble récursif et énumérable récursivement # hiérarchie analytique et arithmétique # problème de Post # problème insoluble # réductibilité de Turing # théorie des fonctions récursives
03D03 ; 03D20 ; 03D25 ; 03D30 ; 03D55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 502 p.
ISBN 978-0-8218-4813-5
Mathematical surveys and monographs , 0155
Localisation : Collection 1er étage
théorie descriptive des ensembles # axiome # fonction récursive # hierarchie # classes d'ensembles # ensemble de Borel # ensemble projectif
03-02 ; 03D55 ; 03E15 ; 28A05 ; 54H05 ; 03E60 ; 03E65 ; 03E45 ; 03D20 ; 03D75 ; 26A21
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xx; 236 p.
Localisation : Ouvrage RdC (VANE)
classe de complexité # classe d'honnêteté # mesure de Blum # théorème d'intervalle #algorithme de Meyer-McCreight # théorie de la complexité
03D15 ; 68Q15 ; 03D55 ; 68M15 ; 68Wxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 65 p.
Localisation : Salle de manutention
automate fini # circuit # complexité des algorithmes # complexité des problèmes # complexité dynamique des programmes # grammaire # hiérarchie de Stockmeyer # informatique théorique ou fondamentale # langage "context-free" (CF) # langage "context-sensitive" (CS) # langage récursivement énumérable # langage régulier # machine de Turing # oracle # problème NP complet # problème P=NP # recherche de mot # schéma de programme # synchronisation de processus # théorie des langages
automate fini # circuit # complexité des algorithmes # complexité des problèmes # complexité dynamique des programmes # grammaire # hiérarchie de Stockmeyer # informatique théorique ou fondamentale # langage "context-free" (CF) # langage "context-sensitive" (CS) # langage récursivement énumérable # langage régulier # machine de Turing # oracle # problème NP complet # problème P=NP # recherche de mot # schéma de programme # synchronisation de ...
03D05 ; 03D15 ; 03D55 ; 68Q05 ; 68Q25
... Lire [+]
