|
Mention de date : 02/2014
Paru le : 01/02/2014 |
Réservation
Réserver ce documentExemplaires(1)
| Cote | Section | Localisation | Code-barres | Disponibilité |
|---|---|---|---|---|
| ARCHIVES | documentaire | CDI | 016260 | Disponible |
Dépouillements
Ajouter le résultat dans votre panierL'informatique, d'hier à aujourd'hui / Archimède (2014) in Tangente. Hors-série (Paris), 052 (02/2014)
Titre : L'informatique, d'hier à aujourd'hui Type de document : texte imprimé Editeur : Archimède, 2014 Article : p.5-22 Note générale : Bibliographie, webographie.
in Tangente. Hors-série (Paris) > 052 (02/2014)Descripteurs : calculatrice / étude historique / informatique 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. Nature du document : documentaire Genre : Article de périodique [article]
L'informatique, d'hier à aujourd'hui
In Tangente. Hors-série (Paris), 052 (02/2014), p.5-22
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.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 016260 Disponible
Titre : Maths et informatique : regards croisés Type de document : texte imprimé Editeur : Archimède, 2014 Article : p.23-40 Note générale : Bibliographie, webographie.
in Tangente. Hors-série (Paris) > 052 (02/2014)Descripteurs : informatique Mots-clés : mathématiques 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. Nature du document : documentaire Genre : Article de périodique [article]
Maths et informatique : regards croisés
In Tangente. Hors-série (Paris), 052 (02/2014), p.23-40
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.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 016260 Disponible
Titre : Quelques applications du partenariat Maths-Info Type de document : texte imprimé Editeur : Archimède, 2014 Article : p.41-51 Note générale : Bibliographie.
in Tangente. Hors-série (Paris) > 052 (02/2014)Descripteurs : codage de données / mathématique appliquée Mots-clés : application de l'informatique 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. Nature du document : documentaire Genre : Article de périodique [article]
Quelques applications du partenariat Maths-Info
In Tangente. Hors-série (Paris), 052 (02/2014), p.41-51
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.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 016260 Disponible
