Dépouillements

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

Quelques applications du partenariat Maths-Info / 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 : Quelques applications du partenariat Maths-Info Editeur : Archimède, 02/2014 Article en page(s) : p.41-51 Note générale : Bibliographie. Langues : Français   Résumé : Dossier présentant des exemples d'applications issues du "partenariat" mathématiques et informatique. Les images numériques ; la topologie reconnue par l'ordinateur. Les logiciels de calcul symbolique (Maple) et formel (Mathematica) ; le logiciel de composition de pages LaTeX. Les méthodes numériques statistiques : la méthode de Monte Carlo. La cryptographie. Les méthodes utilisées par les hackers pour accéder aux mots de passe des internautes ; la fonction de hachage pour coder un mot de passe. Mots-clés : application de l'informatique  mathématique appliquée  codage de données Type : texte imprimé  ;  documentaire Genre : Article de périodique [article] Quelques applications du partenariat Maths-Info [texte imprimé] . - [S.l.] : Archimède, 02/2014 . - p.41-51. Bibliographie. Langues : Français in Tangente. Hors-série (Paris) > 052 (02/2014)   Résumé : Dossier présentant des exemples d'applications issues du "partenariat" mathématiques et informatique. Les images numériques ; la topologie reconnue par l'ordinateur. Les logiciels de calcul symbolique (Maple) et formel (Mathematica) ; le logiciel de composition de pages LaTeX. Les méthodes numériques statistiques : la méthode de Monte Carlo. La cryptographie. Les méthodes utilisées par les hackers pour accéder aux mots de passe des internautes ; la fonction de hachage pour coder un mot de passe. Mots-clés : application de l'informatique  mathématique appliquée  codage de données Type : texte imprimé  ;  documentaire Genre : Article de périodique

Exemplaires