Elements Pour Une Histoire De Linformatique
Download Elements Pour Une Histoire De Linformatique full books in PDF, epub, and Kindle. Read online free Elements Pour Une Histoire De Linformatique ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Donald Ervin Knuth |
Publisher | : Center for the Study of Language and Information Publica Tion |
Total Pages | : 0 |
Release | : 2011 |
Genre | : Algorithms |
ISBN | : 9781575866222 |
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.
Author | : Herbert Bruderer |
Publisher | : Springer Nature |
Total Pages | : 2072 |
Release | : 2021-01-04 |
Genre | : Computers |
ISBN | : 3030409740 |
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.
Author | : Jean-Yvon Birrien |
Publisher | : FeniXX |
Total Pages | : 132 |
Release | : 1992-01-01T00:00:00+01:00 |
Genre | : Computers |
ISBN | : 2705941142 |
Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
Author | : Association "Histoire et informatique" (France). Colloque national |
Publisher | : Editions L'Harmattan |
Total Pages | : 494 |
Release | : 2001 |
Genre | : Electronic data processing |
ISBN | : |
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...).
Author | : Xavier Leroy |
Publisher | : Fayard |
Total Pages | : 80 |
Release | : 2019-04-24 |
Genre | : Literary Criticism |
ISBN | : 2213714622 |
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.
Author | : Marie Cauli |
Publisher | : John Wiley & Sons |
Total Pages | : 388 |
Release | : 2022-09-21 |
Genre | : Computers |
ISBN | : 178630788X |
"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.
Author | : Frédéric Ricquebourg |
Publisher | : Omniscriptum |
Total Pages | : 688 |
Release | : 2011-04 |
Genre | : |
ISBN | : 9786131570704 |
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.
Author | : |
Publisher | : Presses universitaires de Namur |
Total Pages | : 126 |
Release | : 2016-10-25 |
Genre | : Computers |
ISBN | : 2870378327 |
La Faculté d'informatique de l'Université de Namur, pionnière en Europe, a organisé en fin d’année 2010, une après-midi « doublement historique » puisque réalisée à l’occasion de ses 40 ans et consacrée à l’histoire de l’informatique. Le thème général choisi en était la programmation, la question posée étant : « Programmer : un passé pour l’avenir ? » Le présent fascicule rassemble quatre contributions à cette après-midi. Marie d’Udekem-Gevers (chargée de cours extérieure à l’Université de Namur) y propose d’abord sa vision de l’histoire mondiale et longue de la programmation. Ensuite, Jacques Loeckx (professeur émérite à l’Universität des Saarlandes en Allemagne) y témoigne de l’origine de l’informatique en Belgique. Puis, François Bodart (professeur émérite à l’Université de Namur) y raconte comment a émergé l’Institut d’informatique à Namur. Et finalement, Jean-Marie Jacquet (professeur à l’Université de Namur) y retrace l’histoire des algèbres de processus.
Author | : Philippe Breton |
Publisher | : Seuil |
Total Pages | : 300 |
Release | : 1990 |
Genre | : Computers |
ISBN | : |
Author | : |
Publisher | : Editions L'Harmattan |
Total Pages | : 225 |
Release | : 1985-01-01 |
Genre | : Architecture |
ISBN | : 2296278140 |
"L'étude des interactions entre l'informatique et la société offre un intérêt tout particulier car l'informatique est aujourd'hui au coeur des technologies de l'information et de la communication. Dans le monde contemporain, l'exercice du pouvoir et la maîtrise des moyens d'information sont de plus en plus étroitement liés. L'informatique étant, par excellence, l'outil de traitement automatique de l'information, ceux qui détiennent des moyens informatiques puissants voient leur pouvoir s'accroître au détriment de ceux qui en sont démunis ou qui sont moins bien équipés. Ces déséquilibres peuvent se manifester à différents niveaux : entre l'Etat et le citoyen, l'administration et les administrés, les directions d'entreprise et les travailleurs, entre le pouvoir exécutif et le pouvoir législatif, entre l'Etat et les collectivités locales... Tout au long des vingt dernières années, il est apparu que le développement de l'informatique et l'informatisation multiforme de la société posaient, avec de plus en plus d'acuité, tout un ensemble de problèmes d'ordre juridique : protection de la vie privée et des libertés, sécurité des systèmes informatiques et propriété des logiciels... ; d'ordre économique : productivité des entreprises, indépendance industrielle... ; d'ordre culturel : accès au pouvoir, communication, création... ; d'ordre social : organisation et conditions de travail, emploi, qualifications, formation..."--