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
- 607 p.
Cote : 00025600
histoire des mathématiques # logique # fondement des mathématiques # logique # philosophie # récursivité # arithmétique # axiomatique # théorie des nombres # raisonnement # prédicat
01A75 ; 03-03
Localisation : Ouvrage RdC (HILB)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 624 p.
Cote : 00025601
histoire des mathématiques # logique # fondement des mathématiques # variable # preuve # théorie des nombres # prédicat
01A75 ; 03-03
Localisation : Ouvrage RdC (HILB)