m

F Nous contacter

0

Documents  03C57 | enregistrements trouvés : 7

O
     

-A +A

P Q

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

- 100 p.
ISBN 978-0-8218-3133-5

American mathematical society translations series 2 , 0147

Localisation : Collection 1er étage

approximation rationnelle de fonction analytique # complexité monotone # espace de dimension infinie # fonction booléenne # groupe de Galois # homéomorphisme du cercle # méthode numérique d'algèbre linéaire # probabilité en géométrie d'espace de Banach # processus aléatoire # précision garantie # série de Fourier # théorie axiomatisable finiment # équation diophantienne # évolution de l'algèbre

03C57 ; 11-03 ; 11D09 ; 11R32 ; 30E10

... Lire [+]

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

- 320 p.
ISBN 978-0-8218-1922-7

Contemporary mathematics , 0257

Localisation : Collection 1er étage

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

... Lire [+]

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

- 190 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (GOOD)

arithmétique récursive # calcul # fondement des mathématiques # logique # récursive # récursivité # théorie des nombres

03C57 ; 03D45

... Lire [+]

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

- 138 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (GOOD)

analyse récursive # arithmétique # calcul # fondement des mathématiques # logique # récursivité # théorie des nombres # épistémologie

03C57 ; 03D45

... Lire [+]

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

- v; 107 p.
ISBN 978-1-4704-2839-6

Memoirs of the American Mathematical Society , 1208

Localisation : Collection 1er étage

structure calculable # spectre de degré d'une relation # cône de degré de Turing

03D45 ; 03C57

... Lire [+]

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

- v; 101 p.
ISBN 978-1-4704-2657-6

Memoirs of the American Mathematical Society , 1187

Localisation : Collection 1er étage

mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène

03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35

... Lire [+]

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

- viii; 197 p.
ISBN 978-1-107-01451-0

Lecture notes in logic

Localisation : Ouvrage RdC (EFFE)

théorie des modèles # algèbre commutative # algèbre différentielle # théorie des graphes # théorie des ensembles

03-06 ; 03B30 ; 03C57 ; 03Dxx ; 03E15 ; 00B25

... Lire [+]

Z