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 03D80 12 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

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

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.
Cote : 00029297
logique

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

Localisation : Collection 1er étage

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

A programming approach to computability Kfoury, A. J. ; Moll, Robert N. ; Arbib, Michael A. | Springer-Verlag 1982

Ouvrage

- viii; 251 p.
Cote : 00037016

03D60 ; 68N01 ; 03D80 ; 68-02 ; 03-02

Localisation : Ouvrage RdC (KFOU)

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 in analysis and physics Pour-El, Marian B. ; Richards, J. Ian | Springer-Verlag 1989

Ouvrage


Cote : 00012710
analyse mathematique # informatique # logique # physique # theorie de la recursion

03D80 ; 03F60 ; 46Nxx

Localisation : Ouvrage RdC (Pour)

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 theory and its applications :
current trends and open problems
proceedings of a 1999 AMS-IMS-SIAM joint summer research conference on ... held at University of Colorado#June 13-17 Cholak, peter ; Lempp, Steffen ; Lerman, Manuel ; Shore, Richard A. | American Mathematical Society 2000

Congrès

- 320 p.
Cote : 00023241
application de la calculabilité # arithmétique # arithmétique d"ordre élevé # degré # degré de Turin # ensemble récursivement énumérable # fonction calculable # logique # modèle nonstandard # numération # récurrence # réductibilité # théorie de récurrence # théorie des modèles # théorie descriptive des ensembles

03C57 ; 03D25 ; 03D28 ; 03D30 ; 03D45 ; 03D80 ; 03E15 ; 03E35 ; 03F35 ; 03H15

Localisation : Collection 1er étage

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 of Julia sets Braverman, Mark ; Yampolsky, Michael | Springer 2009

Ouvrage

- xiii; 151 p.
Cote : 00035401
logique # calcul complexe # théorie de la récursion # ensemble de Julia # modèles de calcul

03D15 ; 03D80 ; 37F10 ; 37F50 ; 65Y20 ; 68Q05 ; 68Q17 ; 03-99

Localisation : Ouvrage RdC (BRAV)

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

Slicing the truth:
on the computable and reverse mathematics of combinatorial principles Hirschfeldt, Denis R. | World Scientific 2015

Ouvrage

- xv; 214 p.
Cote : 00039184
ensemble récursif # mathématiques inversées # théorème de Ramsey # ensemble stable # ensemble cohérent # WKL # lemme de König # arbre # ordre # chaîne # ensemble libre # ensemble maigre # ensemble générique # RCA

03-02 ; 03B30 ; 03F35 ; 03D30 ; 03D80 ; 03E05 ; 05D10

Localisation : Ouvrage RdC (HIRS)

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

Milliken's tree theorem and its applications: a computability-theoretic perspective Anglès d'Auriac, Paul-Elliot ; Cholak, Peter A. ; Dzhafarov, Damir D. ; Monin, Benoît ; Patey, Ludovic | American Mathematical Society 2024

Ouvrage

- vi; 118 p.
Cote : 00041693
théorème de l'arbre de Milliken # théorème de Ramsey # théorie des partitions # combinatoire calculable # mathématiques inversées # théorie structurelle de Ramsey

05D10 ; 03D80 ; 03E05 ; 05C55 ; 05D05 ; 03E75

Localisation : Collection 1er étage

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

Computability and randomness Nies, André | Oxford University Press 2009

Ouvrage

- xv; 433 p.
Cote : 00035346
théorie de la recursion # algorithmique # complexité des ensembles # hasard

03D80 ; 68Q30 ; 03-02 ; 68-02

Localisation : Ouvrage RdC (NIES)

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