m

F Nous contacter

0

Documents  Critères de recherche : "Recursive function theory" | enregistrements trouvés : 5

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.

- 482 p.
ISBN 978-0-262-68052-3

Localisation : Ouvrage RdC (ROGE)

logique

03D20

... 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.

- 245 p.

Grundlehren der mathematischen wissenschaften , 0127

Localisation : Collection 1er étage

calcul # fonction recursive # machine de Turing # prédicat d'indécidabilité # variété

03D10 ; 03Dxx ; 68Q05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 431 p.
ISBN 978-0-521-29465-2

Localisation : Ouvrage RdC (CUTL)

fonction recursive # logique

03-XX

... Lire [+]

Z