m

F Nous contacter

0

Documents  03D45 | enregistrements trouvés : 8

O
     

-A +A

P Q

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.

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

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

Z