Voici enfin la traduction en français d'une série de quinze articles classiques de Donald E. Knuth portant sur des moments clés de l'histoire de l'informatique, plus exactement l'algorithmique, que ce soit à l'époque babylonienne ancienne, au neuvième siècle lors de l'âge d'or des sciences arabes ou après l'invention des ordinateurs : étude des premiers programmes, des premiers langages de programmation et des premiers compilateurs. On y retrouve également l'historique des notions chères à Knuth : découpage d'un paragraphe en ligne, grammaires à attributs et vocabulaire de l'analyse des algorithmes. Donald E. Knuth, professeur émérite à l'université Stanford, est l'un des pionniers de l'algorithmique. Le Centre pour l'Étude des Languages et l'Information (CSLI) de l'université de Stanford et la Société Mathématique de France vous proposent la traduction en français de deux sélections d'articles de Donald E. Knuth, la première portant sur l'histoire de l'informatique, et l'autre sur l'algorithmique. Rappelons que Donald E. Knuth, est l'un des pionniers de l'algorithmique. Il est l'auteur d'une centaine d'articles et d'une dizaine de livres sur l'algorithmique et les mathématiques discrètes. Les quatre premiers volumes de The Art of Computer Programming demeurent un ouvrage de référence. Il est aussi l'auteur des logiciels TeX et METAFONT qui ont révolutionnés la typographie.

This Third Edition is the first English-language edition of the award-winning Meilensteine der Rechentechnik; illustrated in full color throughout in two volumes. The Third Edition is devoted to both analog and digital computing devices, as well as the world's most magnificient historical automatons and select scientific instruments (employed in astronomy, surveying, time measurement, etc.). It also features detailed instructions for analog and digital mechanical calculating machines and instruments, and is the only such historical book with comprehensive technical glossaries of terms not found in print or in online dictionaries. The book also includes a very extensive bibliography based on the literature of numerous countries around the world. Meticulously researched, the author conducted a worldwide survey of science, technology and art museums with their main holdings of analog and digital calculating and computing machines and devices, historical automatons and selected scientific instruments in order to describe a broad range of masterful technical achievements. Also covering the history of mathematics and computer science, this work documents the cultural heritage of technology as well.

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.

Communications réunies autour de trois thèmes : les premières expériences de l'utilisation de l'ordinateur par les historiens ; les types d'applications à la recherche (exemples de logiciels, de cédéroms, de sites Web : médiévistes sur Internet, archéologie et multimédia, cartographie historique...) ; applications à l'enseignement secondaire et supérieur (créer un serveur pédagogique au lycée...).

Chaire Sciences du logiciel Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu’il exécute. Cette extraordinaire plasticité a permis à l’ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l’incroyable et souvent effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques ? Comment établir qu’un logiciel est digne de confiance ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l’un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l’Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.

"Digital age", "digital society", “digital civilization”: many expressions are used to describe the major cultural transformation of our contemporary societies. Digital Dictionary presents the multiple facets of this phenomenon, which was born of computers and continues to permeate all human activity as it progresses at a rapid pace. In this multidisciplinary work, experts, academics and practitioners invite us to discover the digital world from various technological and societal perspectives. In this book, citizens, trainers, political leaders or association members, students and users will find a base of knowledge that will allow them to update their understanding and become stakeholders in current societal changes.

L'ordinateur est né au sortir de la deuxième guerre mondiale dans un laboratoire universitaire américain qui travaillait pour les forces armées de cette nation. En l'espace d'une soixantaine d'années il a littéralement conquis les sociétés humaines en les transformant si radicalement qu'il est à ce jour admis de parler de révolution numérique. L'ordinateur est devenu à ce point si coextensif à nous-mèmes, à notre temps et à notre économie que, paradoxalement, on a fini par ne plus guère y prèter attention. Après avoir questionné sa provenance, son essence logico-mathématique nous montrons comment l'ordinateur, fils prodigue engendré et perfectionné en temps de guerre(s) par la puissante triangulaire armée-université-industrie et pensé à l'origine comme un analogue artificiel du cerveau humain, n'a jamais cessé de subir de spectaculaires métamorphoses qualitatives et performatives tout en induisant rétroactivement des transformations remarquables sur les institutions et les groupes qui l'ont produit puis massivement utilisé. Au travers de cette archéologie de l'informatique il s'agit de tenter de mieux comprendre la machine univers, son histoire et sa science.