m

F Nous contacter

0

Documents  Davis, Martin D. | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- 210 p.

McGraw-Hill series in information porcessing and computers

Localisation : Ouvrage RdC (DAVI)

calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

... Lire [+]

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


ISBN 978-0-12-206382-4

Computer science and scientific computing

Localisation : Disparu

calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de récursion # sémantique opérationnelle # théorie de la quantification calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de ...

03Dxx ; 68Qxx

... Lire [+]

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

- 412 p.
ISBN 978-0-12-206380-0

Computer science and applied mathematics

Localisation : Ouvrage RdC (DAVI)

théorie de récursion # théorie de calcul

68C25 ; 68FXX

... Lire [+]

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

- 110 p.

Notes on mathematics and its applications

Localisation : Ouvrage RdC (DAVI)

algèbre linéaire normée # analyse fonctionnelle # espace linéaire normé # fonction analytique vers l'espace de Banach # fonction sur l'espace de Banach # homomorphisme # théorie des ensembles

03E25 ; 04A25 ; 46-01 ; 46Bxx

... Lire [+]

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

- 186 p.

Notes on mathematics and its applications

Localisation : Ouvrage RdC (DAVI)

algèbre de Boole # calcul différentiel # congruence # ensemble dénombrable # ensemble récursivement énumérable # groupe # géométrie analytique # matrice # ordinateur # reste # série infinie # équation diophantienne

03D25 ; 03G05 ; 11D79 ; 11Dxx ; 51Nxx

... Lire [+]

Z