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; 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 [+]
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 [+]
