Histoire de l'informatique / François Guillier / François Guillier (1999) 

Public ISBD Titre : Histoire de l'informatique Auteurs : François Guillier, Auteur Editeur : François Guillier, 1999 Importance : [env. 80p.] Format : Web Langues : Français   Résumé : De 3000 ans avant J.-C. à nos jours, l'histoire du traitement de l'information et de son automatisation. L'origine : les théories mathématiques, les techniques de calcul (bouliers, machines à calculer), les techniques de stockage (papier, cartes perforées...). De l'ère de l'électronique (diode, circuit imprimé, transistor, carte à puce) au numérique (ordinateurs, composants, périphériques, logiciels et langages). Biographies d'inventeurs. Musée des inventions (Photographies). Catégories : Informatique Mots-clés : calcul numérique  technologie électronique  étude historique Type : document électronique  ;  documentaire Genre : Documentaire Niveau : Secondaire/collège En ligne : http://www.histoire-informatique.org/ Histoire de l'informatique [document électronique] / François Guillier, Auteur . - [S.l.] : François Guillier, 1999 . - [env. 80p.] ; Web. Langues : Français   Résumé : De 3000 ans avant J.-C. à nos jours, l'histoire du traitement de l'information et de son automatisation. L'origine : les théories mathématiques, les techniques de calcul (bouliers, machines à calculer), les techniques de stockage (papier, cartes perforées...). De l'ère de l'électronique (diode, circuit imprimé, transistor, carte à puce) au numérique (ordinateurs, composants, périphériques, logiciels et langages). Biographies d'inventeurs. Musée des inventions (Photographies). Catégories : Informatique Mots-clés : calcul numérique  technologie électronique  étude historique Type : document électronique  ;  documentaire Genre : Documentaire Niveau : Secondaire/collège En ligne : http://www.histoire-informatique.org/

L'informatique, d'hier à aujourd'hui / Archimède (02/2014) in Tangente. Hors-série (Paris), 052 (02/2014)

Public ISBD [article]  inTangente. Hors-série (Paris) > 052 (02/2014) Titre : L'informatique, d'hier à aujourd'hui Editeur : Archimède, 02/2014 Article en page(s) : p.5-22 Note générale : Bibliographie, webographie. Langues : Français   Résumé : Dossier consacré à l'histoire de l'informatique. L'origine de l'informatique : premiers algorithmes et premières machines à calculer. La machine à différences et la machine analytique de Charles Babbage. Méthode des différences finies ; calcul analogique. La programmation par Ada King, comtesse de Lovelace ; le programme Ada. La notion de calculabilité par les mathématiciens et logiciens Alonzo Church, avec le lambda-calcul, et Alan Turing avec la machine de Turing. Les recherches en science informatique menées par l'Inria (Institut national de recherche en informatique et en automatique) et l'INS2I, institut du CNRS ; définition des sciences du numérique. Les différents types de médiation scientifique et les médiateurs. L'INS (informatique et sciences du numérique) ; le GICS (Groupe pour l'initiative et la culture scientifique). La SIF (Société informatique de France). Les concours informatiques dédiés aux jeunes. Catégories : Informatique Mots-clés : calculatrice  étude historique Type : texte imprimé  ;  documentaire Genre : Article de périodique [article] L'informatique, d'hier à aujourd'hui [texte imprimé] . - [S.l.] : Archimède, 02/2014 . - p.5-22. Bibliographie, webographie. Langues : Français in Tangente. Hors-série (Paris) > 052 (02/2014)   Résumé : Dossier consacré à l'histoire de l'informatique. L'origine de l'informatique : premiers algorithmes et premières machines à calculer. La machine à différences et la machine analytique de Charles Babbage. Méthode des différences finies ; calcul analogique. La programmation par Ada King, comtesse de Lovelace ; le programme Ada. La notion de calculabilité par les mathématiciens et logiciens Alonzo Church, avec le lambda-calcul, et Alan Turing avec la machine de Turing. Les recherches en science informatique menées par l'Inria (Institut national de recherche en informatique et en automatique) et l'INS2I, institut du CNRS ; définition des sciences du numérique. Les différents types de médiation scientifique et les médiateurs. L'INS (informatique et sciences du numérique) ; le GICS (Groupe pour l'initiative et la culture scientifique). La SIF (Société informatique de France). Les concours informatiques dédiés aux jeunes. Catégories : Informatique Mots-clés : calculatrice  étude historique Type : texte imprimé  ;  documentaire Genre : Article de périodique

Maths et informatique : regards croisés / Archimède (02/2014) in Tangente. Hors-série (Paris), 052 (02/2014)

Public ISBD [article]  inTangente. Hors-série (Paris) > 052 (02/2014) Titre : Maths et informatique : regards croisés Editeur : Archimède, 02/2014 Article en page(s) : p.23-40 Note générale : Bibliographie, webographie. Langues : Français   Résumé : Dossier consacré aux liens entre informatique et mathématiques. La mathématisation de la logique avec l'algèbre de Boole. Syllogismes et carré logique. De la récurrence en mathématiques à la récursivité en informatique, les fonctions récursives. Exemples d'expérimentations mathématiques grâce à l'informatique. Les automates cellulaires : le jeu de la vie de John Horton Conway. Les outils de la démonstration assistée par ordinateur : l'assistant de preuve (logiciel Coq), le démonstrateur automatique (Alt-Ergo), la preuve de programme (logiciel Why3). MATLAB, logiciel de calcul numérique interactif ; Cabri, logiciel de géométrie interactive. Langages rationnels et automates finis ; les applications linguistiques. Catégories : Informatique Mathématiques Type : texte imprimé  ;  documentaire Genre : Article de périodique [article] Maths et informatique : regards croisés [texte imprimé] . - [S.l.] : Archimède, 02/2014 . - p.23-40. Bibliographie, webographie. Langues : Français in Tangente. Hors-série (Paris) > 052 (02/2014)   Résumé : Dossier consacré aux liens entre informatique et mathématiques. La mathématisation de la logique avec l'algèbre de Boole. Syllogismes et carré logique. De la récurrence en mathématiques à la récursivité en informatique, les fonctions récursives. Exemples d'expérimentations mathématiques grâce à l'informatique. Les automates cellulaires : le jeu de la vie de John Horton Conway. Les outils de la démonstration assistée par ordinateur : l'assistant de preuve (logiciel Coq), le démonstrateur automatique (Alt-Ergo), la preuve de programme (logiciel Why3). MATLAB, logiciel de calcul numérique interactif ; Cabri, logiciel de géométrie interactive. Langages rationnels et automates finis ; les applications linguistiques. Catégories : Informatique Mathématiques Type : texte imprimé  ;  documentaire Genre : Article de périodique