m

F Nous contacter

0

Documents  Turing, Alan | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- xv-142 p.
ISBN 978-0-691-15574-6

Localisation : Ouvrage RdC (TURING)

oeuvres # Alan Turing # histoire # logique # philosophie des mathématiques # 20ème siècle # théorie de la peuve

01A75 ; 03-03 ; 03A05 ; 00A30 ; 01A60 ; 03F03

... Lire [+]

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

- 174 p.
ISBN 978-2-02-036928-2

Points

Localisation : Ouvrage RdC (TURI)

fonction récursive # complexité de calcul # fonction calculable # machine de Turing # théorie des automates mathématiques

03A05 ; 00A30 ; 68T01 ; 01A60

... Lire [+]

Z