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 résultats

Filtrer
Sélectionner : Tous / Aucun
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.
Cote : 00006163
degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis

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

Localisation : Ouvrage RdC (LERM)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (DAVI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Zagadnienia rozstrzygalnosci Grzegorczyk, Andrzej | Panstwowe Wydawnictwo Naukowe 1957

Ouvrage

- 141 p.
Cote : 00007884
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

Localisation : Ouvrage RdC (GRZE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

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

Ouvrage

- 100 p.
Cote : 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

Localisation : Ouvrage RdC (GRZE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 00012499
degré de réductibilité # ensemble énumérable recursivement # récursion

03D10 ; 03D25 ; 03D30

Localisation : Ouvrage RdC (SOAR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (OUSP)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Theory of recursive functions and effective computability Rogers, Hartley | McGraw-Hill Book Company 1967

Ouvrage

- 482 p.
Cote : 00003078
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

Localisation : Ouvrage RdC (ROGE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (SACK)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (MATI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (SMUL)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue