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.
- 604 p.
ISBN 978-0-521-43213-9
Encyclopedia of mathematics and its applications , 0048
Localisation : Collection 1er étage
automate et langage rationnel # automate généralisé # base de Gröbner # base de module # calcul # groupe abélien # groupe fini # groupe finiment présenté # groupe polycyclique # groupe quotient # monoïde # procédure de Reidmester-Schreier # sous-groupe de produit libre de groupe cyclique # système de réécriture # théorie combinatoire des groupes # théorie des groupes # traitement des données # énumération de coset
03D45 ; 18Dxx ; 57M05 ; 68Q42 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 611 p.
ISBN 978-0-19-853791-5
Oxford science publications
Localisation : Ouvrage RdC (Hand)
intelligence artificielle # programmation logique # épistémologie # raisonnement épistémologique # temps # raisonnement temporel # logique dans le temps
68-00 ; 68Q55 ; 03B70 ; 68Q10 ; 68Q65 ; 03D45 ; 68Q60 ; 06B35 ; 03B40
... 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.
- 372 p.
ISBN 978-90-01-57070-5
Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics
Localisation : Ouvrage RdC (MALC)
recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert
03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99
... Lire [+]