Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 307 p.
Cote : 00021762
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
Localisation : Ouvrage RdC (MATI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 227 p.
Cote : 00019198
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
Localisation : Monographie RdC (Acte)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pag. multi.
Cote : 00036490
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
Localisation : Ouvrage RdC (RICH)
English