| Titre : | Le calcul confié aux machines |
| Auteurs : | Guillaume Watier, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ellipses, 2001 |
| Collection : | L'esprit des sciences, num. 12 |
| ISBN/ISSN/EAN : | 978-2-7298-0324-7 |
| Format : | 124 p. / ill. / 19 x 15 cm |
| Note générale : |
Bibliogr. Index. Glossaire |
| Langues: | Français |
| Index. décimale : | 373.62 |
| Mots-clés: | calcul formel ; ouvrages de vulgarisation ; automates mathématiques, théorie des |
| Résumé : | L'INVENTION des calculateurs électroniques s'est accompagnée d'une réflexion profonde sur la nature du calcul et sur l'efficacité des méthodes. Une science toute nouvelle en est sortie, qui va jusqu'à déterminer les limites intrinsèques à l'acte de calculer. Guillaume Watier nous initie à ce champ de recherches où brillent les noms de Turing, de Church et de Gödel. Il montre comment calculent les ordinateurs et il nous entraîne jusqu'aux promesses des machines à venir. |
| Note de contenu : |
QU'EST-CE QUE LE CALCUL ? Deux vues classiques Des questions philosophiques Comment calcule un ordinateur ? Les enjeux du calcul QUE PEUT-ON CALCULER ? Gödel : une révolution dans la logique Church et Turing : mécaniser le calcul La machine de Turing Des machines universelles L'algorithme Des algorithmes classiques Des problèmes résolubles Des problèmes insolubles Des problèmes en suspens LA COMPLEXITE DES CALCULS Des contraintes physiques Mesurer la difficulté théorique d'un calcul DE NOUVEAUX MODELES Le parallélisme Hommage à la nature Imiter la nature Utiliser directement la nature Encore d'autres modèles |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC022757 | MATH01034 | Livre | Fonds propre-bibliotheque centrale | mathématique/ رياضيات | Libre accès Disponible |
