m

Documents  Turing | enregistrements trouvés : 13

O
     

-A +A

P Q

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

De la méthode : recherches en histoire et philosophie des mathématiques Dir. Serfati, Michel. -Besançon : Presses universitaires de Franche-Comté , 2011 . - 356 p. ; 23 cm
ISBN 9782848673240


IremCongrès

Publication partielle des actes du séminaire d'épistémologie et d'histoire des mathématiques [... et] d'un colloque de philosophie des mathématiques.

histoire des mathématiques ; philosophie des mathématiques ; Descartes ; Boole ; Cantor ; Brouwer L. E. J. ; Turing ; Monge ; Kronecker ; Russell ; Wittgenstein

... Lire [+]

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

Les démons de Gödel : logique et folie Cassou-Noguès, Pierre. -Paris : Editions du Seuil , 2007 . - 279 p. ; 22 cm
ISBN 9782020923392


IremOuvrage

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

Cryptographie & codes secrets : l'art de cacher Dir. Lehning, Hervé. -Paris : Pole , 2006 . - 150 p. ; 24 cm
ISBN 9782848840581


IremOuvrage

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

Grands mathématiciens modernes -Paris : Pole , 2006 . - 158 p. ; 24 cm
ISBN 9782848840543


IremOuvrage

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

Mille ans d'histoire des mathématiques : 1001-2000, l'accès à la modernité Dir. Lehning, Hervé. -Paris : Pole , 2005 . - 146 p. ; 24 cm
ISBN 9782848840291


IremOuvrage

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

La logique : le vrai, le faux et l'incertain -Paris : Pole , 2004 . - 139 p. ; 24 cm
ISBN 9782848840185


IremOuvrage

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

Logique, informatique et paradoxes Delahaye, Jean-Paul. -Paris : Pour la Science ; Belin , 1993 . - 158 p. ; 25 cm
ISBN 9782902918942


IremOuvrage

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

La Machine de Turing ... et sa programmation Leygnac, Marc. -Saint Quentin : IREM de Picardie , 1984 . - 19 p. ; 30 cm


IremOuvrage

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

Alan M. Turing Turing, Sara ; Préf. Davis, Martin ; Préf. Irvine, Lyn ; Postf. Turing, John. -Cambridge : Cambridge university Press , 2012 . - xxiv, 169 p. ; 22 cm
ISBN 9781107020580


MathOuvrage

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

Collected works of A. M. Turing : mechanical intelligence Turing, A. M. ; Ed. Ince, D.. -Amsterdam, London, New York, Tokyo : North-Holland , 1992 . - xix, 227 p. ; 24 cm


MathOuvrage

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

Collected works of A. M. Turing : pure mathematics Turing, A. M. ; Ed. Britton, J. L.. -Amsterdam, London, New York, Tokyo : North-Holland , 1992 . - xxii, 287 p. ; 24 cm


MathOuvrage

Z