En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03D25 23 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Degrees of insolvability :
local and global theory Lerman, Manuel | Springer-Verlag 1983

Ouvrage

- 307 p.
Call n° : 00006163
degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis

03D20 ; 03D25 ; 03D30 ; 03D35 ; 03D55

Location : Ouvrage RdC (LERM)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computability and unsolvability Davis, Martin D. | McGraw-Hill Book Company 1958

Ouvrage

- 210 p.
Call n° : 00027579
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

Location : Ouvrage RdC (DAVI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Fonctions récursives Grzegorczyk, Andrzej | Gauthier-Villars 1961

Ouvrage

- 100 p.
Call n° : 00007276
effectivité des méthodes de réduction # ensemble non récursif # ensemblement récursivement énumérable # fonction récursive # logique mathématique # problème de décision # représentabilité de relation récursive

03D20 ; 03D25 ; 03Dxx

Location : Ouvrage RdC (GRZE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Recursively enumerable sets and degrees :
A study of computable functions and computably generated sets SOARE , Robert I. | Springer-Verlag 1987

Ouvrage

- 437 p.
Call n° : 00012499
degré de réductibilité # ensemble énumérable recursivement # récursion

03D10 ; 03D25 ; 03D30

Location : Ouvrage RdC (SOAR)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Leçons sur les fonctions calculables Ouspenski, V. A. ; Chauvin, André | Hermann 1966

Ouvrage

- 412 p.
Call n° : 00001911
constructivisation de définition négative # ensemble récursivement énumérable # ensemble universel # fonction calculable # fonction partielle récursive # fonction primitive récursive # fonction universelle # logique mathématique # machine à calculer abstraite # prédicat général récursif # prédicat primitif récursif # prédicat récursivement énumérable # séparation des réels calculables # théorie des ensembles # théorie des fonctions

03D20 ; 03D25 ; 03D80 ; 03Dxx

Location : Ouvrage RdC (OUSP)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Degrees of unsolvability Sacks, Gerald E. | Princeton University Press 1966

Ouvrage

- 175 p.
Call n° : 00001813
borne supérieure minimale pour suite de degrés # catégorie # continuum de degrés mutuellement incomparables # degré d'insolvabilité # degrés énumérables récursivement # opérateur saut # segment initial de degrés # sous-ordonnancement indénombrable de degrés # théorie de la mesure # théorie descriptive des ensembles

03D15 ; 03D25 ; 03E15 ; 68Q15 ; 68Q25

Location : Ouvrage RdC (SACK)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Le dixième problème de Hilbert :
son indécidabilité Matiiassevitch, Youri ; Cegielski, Patrick ; Richard, Denis | Masson 1995

Ouvrage

- 307 p.
Call n° : 00021762
dixième problème # ensemble diophantien # indécidabilité # indécidabilité algorithmique # nombre entier rationnel # problème de Hilbert # solution négative # équation de Diophante

01A60 ; 03D25 ; 11U05

Location : Ouvrage RdC (MATI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Diagonalization and self-reference Smullyan, Raymond M. | Clarendon Press 1996

Ouvrage

- 396 p.
Call n° : 00023400
arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

Location : Ouvrage RdC (SMUL)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Advances in logic :
the north texas logic conference#Oct. 8-10 Gao, Su ; Jackson, Steve ; Zhang, Yi | Amercian Mathematical Society 2007

Congrès

- 150 p.
Call n° : 00029297
logique

03C52 ; 03D25 ; 03D35 ; 03D80 ; 03E05 ; 03E15 ; 03E55 ; 03E60 ; 05C12 ; 52C20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A framework for priority arguments Lerman, Manuel | Cambridge University Press ; Association for Symbolic Logic 2010

Ouvrage

- xvi; 176 p.
Call n° : 00036360
théorie de la preuve # choix # logique formelle # logique mathématique # ensemble recursivement enumerable # problème de Post # retour arrière # dommages finis # dommages infinis

03-02 ; 03D25 ; 03Dxx

Location : Ouvrage RdC (LERM)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language