m

F Nous contacter

0

Documents  68-03 | enregistrements trouvés : 26

O

-A +A

P Q

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


ISBN 978-2-908887-32-7

Localisation : Colloque 1er étage (LAND)

aire et volume # algorithme # calculatrice # cosmos et infini # de Zénon à Cantor # enseignement de l'analyse # géométrie projective # infiniment grand ou petit # nombre continu et infini # probabilité # épistémologie et histoire des mathématiques

00A30 ; 11-03 ; 51-03 ; 68-03 ; 85-03

... Lire [+]

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


ISBN 978-0-12-491650-0

Localisation : Colloque 1er étage (LOS)

Allemagne # Bletchley # Buckingamshire # Cambridge # Colossus # IBM # Japon # Londres # Turing # URSS # Von Neumann # histoire du calcul # informatique # langage de programmation ou algorithme # machine

01A60 ; 68-03

... Lire [+]

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

- 261 p.
ISBN 978-2-02-012348-8

Points sciences

Localisation : Ouvrage RdC (BRET)

histoire de l'informatique

68-01 ; 68-03

... Lire [+]

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

- 657 p.
ISBN 978-0-19-853774-8

Oxford science publications

Localisation : Ouvrage RdC (Univ)

histoire de l'informatique # machine de turing # turing

68-03 ; 68Q05

... Lire [+]

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

- xiv; 222 p.
ISBN 978-0-8153-8402-1

Localisation : Ouvrage RdC (DAVI)

histoire de l'informatique # ordinateur # Leibniz # Boole # Frege # Cantor # Hilbert # Gödel # Turing

68-03 ; 01A50 ; 01A55 ; 01A60 ; 68Q05

... Lire [+]

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

- xv; 546 p.
ISBN 978-0-19-874782-6

Localisation : Biographie RdC (TURI)

Alan Turing # biographie # machine de Turing # cryptographie # intelligence artificielle # histoire de l'informatique

68-06 ; 68-01 ; 68-03 ; 01A60 ; 01A70 ; 68Q05 ; 94A60 ; 00B15

... Lire [+]

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

- xvi; 580 p.
ISBN 978-3-540-11319-5

Texts and monographs in computer science

Localisation : Ouvrage RdC (ORIG)

histoire des mathématiques # tabulation # histoire du calcul numérique

68-03 ; 00Bxx ; 01A55 ; 01A60

... Lire [+]

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

- 464 p.
ISBN 978-3-540-06169-4

Localisation : Ouvrage RdC (ORIG)

histoire des mathématiques # tabulation # histoire du calcul numérique

68-03 ; 01A75 ; 68-02 ; 68-06 ; 68Q45

... Lire [+]

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

- 274 p.
ISBN 978-1-881526-92-6

CSLI lecture notes , 0059

Localisation : Oeuvres complètes RdC (KNUT)

algorithme # calcul informatique # histoire de l'informatique # histoire des algorithmes # informatique # mathématique de l'informatique # oeuvres complètes # programme des premiers calculs de Von-Neumann # Knuth

01A17 ; 01A65 ; 01Axx ; 68-01 ; 68-03

... Lire [+]

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

- xxx; 370 p.
ISBN 978-0-521-19956-8

Localisation : Ouvrage RdC (AARO)

théorie quantique # informatique quantique # algorithme quantique # histoire des mathématiques

68-03 ; 94A60 ; 68Qxx

... Lire [+]

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

- 624 p.
ISBN 978-0-262-22030-9

Charles babbage institute reprint series for the history computing , 0012

Localisation : Oeuvres complètes RdC (NEUM)

histoire de l'informatique # informatique # Neumann # oeuvres complètes

01-02 ; 01A05 ; 01A60 ; 01A75 ; 68-03

... Lire [+]

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

- 349 p.
ISBN 978-2-711-74351-3

Localisation : Loisir RdC

Bertrand Russell # fondements des mathématiques # logique mathématique # bande dessinée # histoire des mathématiques

00A30 ; 00A09 ; 01A55 ; 01A60 ; 00-01 ; 03-03 ; 68-03

... Lire [+]

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

- 224 p.
ISBN 978-2-8031-0280-8

Mémoire de la classe des sciences , 2073

Localisation : Ouvrage RdC (UDEK)

histoire des mathématiques # analyse numérique # informatique # machine à calculer # ordinateur # histoire de l'informatique

68-03 ; 68-04

... Lire [+]

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

- 342 p.
ISBN 978-83-01-05126-6

Localisation : Ouvrage RdC (TURS)

informatique # traitement des données # hardware # algorithme # programmation en langage machine # langage formel # traduction automatique

68-01 ; 68-03

... Lire [+]

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

- 591 p.
ISBN 978-2-7011-1346-3

Regards sur la science

Localisation : Ouvrage RdC (Hist)

algorithme # algorithmique # analyse numérique classique # approximation des fonctions # calcul des nombres # histoire des mathématiques # histoire des sciences # philosophie des sciences # quadrature # système linéaire # épistémologie # équation différentielle

00A06 ; 00A30 ; 01Axx ; 65-03 ; 68-03

... Lire [+]

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

- 883 p.
ISBN 978-2-7296-0617-6

Localisation : Loisir RdC

calcul # calcul des propositions # calculateur # code # esprit et pensée # géométrie # harmonicité # informatique # intelligence artificielle # message # métainformatique # philosophie des sciences # signe # structure de la pensée # structure et processus récursif # système de décidabilité # sémantique # test de Turing # théorème de Gödel # épistémologie des sciences

00A30 ; 03A05 ; 03Bxx ; 68-02 ; 68-03

... Lire [+]

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


ISBN 978-0-394-74502-2

Localisation : Loisir RdC

calcul # calcul des propositions # calculateur # code # esprit et pensée # géométrie # harmonicité # informatique # intelligence artificielle # message # métainformatique # philosophie des sciences # signe # structure de la pensée # structure et processus récursif # système de décidabilité # sémantique # test de Turing # théorème de Gödel # épistémologie des sciences

00A30 ; 03A05 ; 03Bxx ; 68-02 ; 68-03

... Lire [+]

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

- 373 p.
ISBN 978-0-521-46085-9

Localisation : Ouvrage RdC (Comp)

algorithme # algèbre # calcul en temps réel # communication # histoire # informatique # intelligence artificielle # langage naturel # logiciel # modèle # place de marché # prospective # système d"informatique personnel

01A67 ; 68-02 ; 68-03 ; 68-06

... Lire [+]

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

- 462 p.
ISBN 978-0-19-284055-4

Localisation : Ouvrage RdC (Colo)

guerre mondiale 1939-1945 # machine de Lorenz # cryptographie # Grande Bretagne # Allemagne # histoire des mathématiques # 20ème siècle # Bletchey Park # colossus # informatique # décrypter # Thomas Flowers

94A60 ; 68-03 ; 01A60 ; 94-03

... Lire [+]

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

- 431 p.
ISBN 978-0-262-23123-7

Localisation : Oeuvres complètes RdC (WIEN)

cybernétique # esthétique # éthique # informatique # mathématique s de l'ingénieur # mathématiques # neurophysiologie # philosophie des mathématiques # enseignement des mathématiques # théorie de l'information # théorie distribution invariante controlée # Wiener # oeuvres complètes

01A60 ; 01A61 ; 01A75 ; 68-02 ; 68-03

... Lire [+]

Z