A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
Archimède |
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la rechercheQuelques applications du partenariat Maths-Info / Archimède (02/2014) in Tangente. Hors-série (Paris), 052 (02/2014)
[article]
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
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 [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 Maths et informatique : regards croisés / Archimède (02/2014) in Tangente. Hors-série (Paris), 052 (02/2014)
[article]
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
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ématiquesType : 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ématiquesType : texte imprimé ; documentaire Genre : Article de périodique L'informatique, d'hier à aujourd'hui / Archimède (02/2014) in Tangente. Hors-série (Paris), 052 (02/2014)
[article]
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
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 [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 Peut-on définir une esthétique des mathématiques / Daniel Justens / Archimède (01/2014) in Tangente. Hors-série (Paris), 051 (01/2014)
[article]
Titre : Peut-on définir une esthétique des mathématiques Auteurs : Daniel Justens, Auteur Editeur : Archimède, 01/2014 Article en page(s) : p.6-11 Langues : Français
in Tangente. Hors-série (Paris) > 051 (01/2014)Résumé : Analyse des points communs entre le domaine de la beauté et les mathématiques. Le beau dans l'art : les modèles artistiques et mathématiques, des représentations d'une part du réel ; la mise en évidence d'une structure dans la construction d'un objet artistique ou mathématique, le cas des axiomes dans le cadre d'une théorie mathématique, la procédure de validation des modèles descriptifs ou hypothético-déductifs. La structure du cerveau : une structure comparable à une axiomatique mathématique ; hypothèses liées aux réseaux neuronaux concernant les mathématiques et la beauté des mathématiques. Encadré : l'axiomatique du plan euclidien. Catégories : Mathématiques Mots-clés : esthétique (philosophie) beau (philosophie) art réseau neuronal : physiologie Type : texte imprimé ; documentaire Genre : Article de périodique [article] Peut-on définir une esthétique des mathématiques [texte imprimé] / Daniel Justens, Auteur . - [S.l.] : Archimède, 01/2014 . - p.6-11.
Langues : Français
in Tangente. Hors-série (Paris) > 051 (01/2014)
Résumé : Analyse des points communs entre le domaine de la beauté et les mathématiques. Le beau dans l'art : les modèles artistiques et mathématiques, des représentations d'une part du réel ; la mise en évidence d'une structure dans la construction d'un objet artistique ou mathématique, le cas des axiomes dans le cadre d'une théorie mathématique, la procédure de validation des modèles descriptifs ou hypothético-déductifs. La structure du cerveau : une structure comparable à une axiomatique mathématique ; hypothèses liées aux réseaux neuronaux concernant les mathématiques et la beauté des mathématiques. Encadré : l'axiomatique du plan euclidien. Catégories : Mathématiques Mots-clés : esthétique (philosophie) beau (philosophie) art réseau neuronal : physiologie Type : texte imprimé ; documentaire Genre : Article de périodique Quelques passerelles entre arts et maths / Gilles Cohen / Archimède (01/2014) in Tangente. Hors-série (Paris), 051 (01/2014)
[article]
Titre : Quelques passerelles entre arts et maths Auteurs : Gilles Cohen, Auteur Editeur : Archimède, 01/2014 Article en page(s) : p.16-18 Note générale : Bibliographie. Langues : Français
in Tangente. Hors-série (Paris) > 051 (01/2014)Résumé : Point sur les passerelles entre arts et maths : les considérations esthétiques de mathématiciens ; la mise en évidence de certains domaines visuels des mathématiques, l'exemple de la symétrie qui inspire les artistes comme le graveur Maurits Cornelis Escher ou encore des surfaces minimales et des fractales. Catégories : Mathématiques Mots-clés : art Type : texte imprimé ; documentaire Genre : Article de périodique [article] Quelques passerelles entre arts et maths [texte imprimé] / Gilles Cohen, Auteur . - [S.l.] : Archimède, 01/2014 . - p.16-18.
Bibliographie.
Langues : Français
in Tangente. Hors-série (Paris) > 051 (01/2014)
Résumé : Point sur les passerelles entre arts et maths : les considérations esthétiques de mathématiciens ; la mise en évidence de certains domaines visuels des mathématiques, l'exemple de la symétrie qui inspire les artistes comme le graveur Maurits Cornelis Escher ou encore des surfaces minimales et des fractales. Catégories : Mathématiques Mots-clés : art Type : texte imprimé ; documentaire Genre : Article de périodique O mathématiques sévères / Gilles Cohen / Archimède (01/2014) in Tangente. Hors-série (Paris), 051 (01/2014)
PermalinkLa linguistique mathématique : des outils pour les textes et les langages / Pascal Kaeser / Archimède (01/2014) in Tangente (Paris), 156 (01/2014)
PermalinkLes mathématiques de la circulation / Archimède (01/2014) in Tangente (Paris), 156 (01/2014)
PermalinkLes fonds de pension / Elise Prats / Archimède (01/2014) in Tangente (Paris), 156 (01/2014)
PermalinkL'infiniment petit / Hervé Lehning / Archimède (01/2014) in Tangente (Paris), 156 (01/2014)
PermalinkDu nouveau dans les scrutins locaux : l'élection des conseillers communautaires / Bertrand Hauchecorne / Archimède (01/2014) in Tangente (Paris), 156 (01/2014)
PermalinkLa beauté artistique révélée par les maths / Archimède (01/2014) in Tangente. Hors-série (Paris), 051 (01/2014)
PermalinkLa beauté intrinsèque des mathématiques / Archimède (01/2014) in Tangente. Hors-série (Paris), 051 (01/2014)
PermalinkDu rififi dans l'édition scientifique / Alexandre Moatti / Archimède (07/2013) in Tangente (Paris), 153 (07/2013)
PermalinkLa transformation conforme et Karl Löwner / Philippe Boulanger / Archimède (07/2013) in Tangente (Paris), 153 (07/2013)
Permalink


