Documents  03D03 | enregistrements trouvés : 4

- 482 p.

McGraw-Hill series in higher mathematics

Localisation : Ouvrage RdC (ROGE)

calculabilité effective # degré d'insolvabilité # ensemble récursif et énumérable récursivement # hiérarchie analytique et arithmétique # problème de Post # problème insoluble # réductibilité de Turing # théorie des fonctions récursives

03D03 ; 03D20 ; 03D25 ; 03D30 ; 03D55

... Lire [+]

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

- 372 p.
ISBN 978-90-01-57070-5

Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics

Localisation : Ouvrage RdC (MALC)

recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert

03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99

... Lire [+]