m

F Nous contacter

0

Documents  03D55 | enregistrements trouvés : 10

O
     

-A +A

P Q

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.

- 210 p.

McGraw-Hill series in information porcessing and computers

Localisation : Ouvrage RdC (DAVI)

calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

... Lire [+]

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 [+]

Z