Au-delà des mathématiques in Science & vie, 1013 (février 2002)

Public ISBD [article]  inScience & vie > 1013 (février 2002) Titre : Au-delà des mathématiques Type de document : texte imprimé Année : 2002 Article : p. 50-54 Descripteurs : langage algorithmique logique mathématique programmation Résumé : Explications sur la correspondance de Curry-Howard, qui affirme que certaines démonstrations mathématiques correspondent à des programmes informatiques. Les implications de ces recherches dans la compréhension du fonctionnement du cerveau humain. Nature du document : documentaire [article] Au-delà des mathématiques [texte imprimé] . - 2002 . - p. 50-54. in Science & vie > 1013 (février 2002) Descripteurs : langage algorithmique logique mathématique programmation Résumé : Explications sur la correspondance de Curry-Howard, qui affirme que certaines démonstrations mathématiques correspondent à des programmes informatiques. Les implications de ces recherches dans la compréhension du fonctionnement du cerveau humain. Nature du document : documentaire

Les dossiers de Futura Sciences : informatique & réseaux (en ligne). Virus et autres bestioles : Partie 2 / Jean-Pierre Louvet / Futura-Sciences.com (2006)  

Public ISBD Titre de série : Les dossiers de Futura Sciences : informatique & réseaux (en ligne) Titre : Virus et autres bestioles : Partie 2 Type de document : texte imprimé Auteurs : Jean-Pierre Louvet, Auteur Editeur : Futura-Sciences.com, 2006 Description : (6p.) Descripteurs : 2000- informatique programmation virus informatique Résumé : Deuxième partie d'un dossier. Présente comment se protéger des vers et virus et comment ces programmes infectent l'ordinateur enfin, comment les éviter grâce aux antivirus et pare-feux. Liste de virus célèbres et dates importantes depuis 1983. Nature du document : documentaire Niveau : lycée En ligne : http://www.futura-sciences.com/comprendre/d/dossier324-1.php Les dossiers de Futura Sciences : informatique & réseaux (en ligne). Virus et autres bestioles : Partie 2 [texte imprimé] / Jean-Pierre Louvet, Auteur . - Futura-Sciences.com, 2006 . - (6p.). Descripteurs : 2000- informatique programmation virus informatique Résumé : Deuxième partie d'un dossier. Présente comment se protéger des vers et virus et comment ces programmes infectent l'ordinateur enfin, comment les éviter grâce aux antivirus et pare-feux. Liste de virus célèbres et dates importantes depuis 1983. Nature du document : documentaire Niveau : lycée En ligne : http://www.futura-sciences.com/comprendre/d/dossier324-1.php

Les fractales (en ligne). Les fractales / Adrien Missemer / Adrien Missemer (2003)  

Public ISBD Titre de série : Les fractales (en ligne) Titre : Les fractales Type de document : texte imprimé Auteurs : Adrien Missemer, Auteur Editeur : Adrien Missemer, 2003 Description : (env. 10p.) Descripteurs : fractale mathématique appliquée programmation Résumé : Site personnel d'élève. Présentation détaillée de ce que sont les fractales en théorie et dans la nature. Comment créer des fractales à partir d'exemples et comment les programmer facilement (Turbo Pascal). Lexique et "script" du programme. Nature du document : documentaire Niveau : lycée En ligne : http://pedagogie.ac-aix-marseille.fr/etablis/lycees/craponne/fractale/index.htm Les fractales (en ligne). Les fractales [texte imprimé] / Adrien Missemer, Auteur . - Adrien Missemer, 2003 . - (env. 10p.). Descripteurs : fractale mathématique appliquée programmation Résumé : Site personnel d'élève. Présentation détaillée de ce que sont les fractales en théorie et dans la nature. Comment créer des fractales à partir d'exemples et comment les programmer facilement (Turbo Pascal). Lexique et "script" du programme. Nature du document : documentaire Niveau : lycée En ligne : http://pedagogie.ac-aix-marseille.fr/etablis/lycees/craponne/fractale/index.htm

L'informatique sauvée des bugs in Science & vie, 1013 (février 2002)

Public ISBD [article]  inScience & vie > 1013 (février 2002) Titre : L'informatique sauvée des bugs Type de document : texte imprimé Année : 2002 Article : p. 55-57 Descripteurs : débogage démonstration mathématique programmation Résumé : Les implications, dans le domaine de la programmation informatique, de la correspondance de Curry-Howard (certaines démonstrations mathématiques correspondent à des programmes informatiques) : les informaticiens pourraient désormais contrôler l'absence d'erreurs dans les programmes. Nature du document : documentaire [article] L'informatique sauvée des bugs [texte imprimé] . - 2002 . - p. 55-57. in Science & vie > 1013 (février 2002) Descripteurs : débogage démonstration mathématique programmation Résumé : Les implications, dans le domaine de la programmation informatique, de la correspondance de Curry-Howard (certaines démonstrations mathématiques correspondent à des programmes informatiques) : les informaticiens pourraient désormais contrôler l'absence d'erreurs dans les programmes. Nature du document : documentaire

Portraits robots : les recherches en robotique (en ligne). Les robots qui imitent la vie : nos émotions à portée des robots / Centre National de la Recherche Scientifique (2005)  

Public ISBD Titre de série : Portraits robots : les recherches en robotique (en ligne) Titre : Les robots qui imitent la vie : nos émotions à portée des robots Type de document : texte imprimé Editeur : Centre National de la Recherche Scientifique, 2005 Description : (env. 1p. ; 1 film : Descripteurs : 2000- France modélisation programmation recherche appliquée reconnaissance des formes Résumé : Comment des chercheurs en informatique, en s'appuyant sur des études de psychologues, parviennent à modéliser sur ordinateur les six émotions fondamentales de l'être humain, créant ainsi l'"ordinateur émotionnel", capable de reconnaître les émotions exprimées par un visage. Nature du document : documentaire Niveau : lycée En ligne : http://www.cnrs.fr/cw/dossiers/dosrob/accueil/decouvrir/imiter/emotions.html Portraits robots : les recherches en robotique (en ligne). Les robots qui imitent la vie : nos émotions à portée des robots [texte imprimé] . - Centre National de la Recherche Scientifique, 2005 . - (env. 1p. ; 1 film :. Descripteurs : 2000- France modélisation programmation recherche appliquée reconnaissance des formes Résumé : Comment des chercheurs en informatique, en s'appuyant sur des études de psychologues, parviennent à modéliser sur ordinateur les six émotions fondamentales de l'être humain, créant ainsi l'"ordinateur émotionnel", capable de reconnaître les émotions exprimées par un visage. Nature du document : documentaire Niveau : lycée En ligne : http://www.cnrs.fr/cw/dossiers/dosrob/accueil/decouvrir/imiter/emotions.html

Secuser, com (en ligne). Comment devenir un hacker ? / Emmanuel Jud / Emmanuel Jud (12)  

Permalink

Secuser, com (en ligne). Entretien avec Alcopaul, auteur du virus Perrun / Emmanuel Jud / Emmanuel Jud (12)  

Permalink

---

1 (1 - 7 / 7)