m

F Nous contacter

0

Documents  Richard, Denis | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 227 p.

Localisation : Monographie RdC (Acte)

algorithmique # anneau de Newton # arrêt de machine # automate de Matiiassevitch # calcul informatique # calcul lambda # codage # code # conjecture de Woods et Erdos # corde # diviseur premier # dénombrement # fonction de Skolom # génétique # histoire des mathématiques # informatique théorique # logique # mathématique discrète # neurobiologie # problème de Julia- Robinson # relation rudimentaire # relation récursive primitive # représentation diophantienne # restauration d'image # réseau de Hopfel # réseau neuronal # science sociale # suite d'entier # théorie de représentation # théorie des nombres # théorie fonctionnelle # traitement d'image # triangle de Pascal # équation différentielle algorithmique # anneau de Newton # arrêt de machine # automate de Matiiassevitch # calcul informatique # calcul lambda # codage # code # conjecture de Woods et Erdos # corde # diviseur premier # dénombrement # fonction de Skolom # génétique # histoire des mathématiques # informatique théorique # logique # mathématique discrète # neurobiologie # problème de Julia- Robinson # relation rudimentaire # relation récursive primitive # représentation ...

01-01 ; 11-01 ; 11Dxx ; 13-01 ; 94Bxx

... Lire [+]

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

- 307 p.
ISBN 978-2-225-84835-3

Axiomes

Localisation : Ouvrage RdC (MATI)

dixième problème # ensemble diophantien # indécidabilité # indécidabilité algorithmique # nombre entier rationnel # problème de Hilbert # solution négative # équation de Diophante

01A60 ; 03D25 ; 11U05

... Lire [+]

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

- pag. multi.

Localisation : Ouvrage RdC (RICH)

arithmétique du premier ordre # codage ZBV # coprimarité # décidabilité # définissabilité # langage # ré-interprétation isomorphe # sous-langage # successeur # synonymie

03B10 ; 03F30 ; 03B25 ; 11U05

... Lire [+]

Z