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