Descripteurs
Documents disponibles dans cette catégorie (6)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Point, en 2011, sur les domaines de la science où s'offrent des perspectives de nouvelles découvertes : cellules souches, graphène (cristal bidimensionnel), imagerie cérébrale, exoplanètes, chimie macromoléculaire, particules élémentaires, astro[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05334 Disponible 
Article : texte imprimé
Joan C. Ambrojo, Auteur |Présentation, en 2006, du programme d'informatique distribuée qui permet de transformer son ordinateur personnel en partie de très gros calculateur pour divers projets scientifiques.Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire 
Article : texte imprimé
Présentation de Gilles Brassard, un informaticien canadien : sa personnalité et sa renommée ; retour sur l'origine des concepts de cryptographie et téléportation quantiques.Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire 
Article : texte imprimé
Point, en 2011, par un mathématicien, sur les différents aspects de la démonstration mathématique. Grâce à l'apport de l'informatique, introduction de la notion de preuve interactive (dialogue entre prouveur et vérifieur). Utilisations dans le d[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05308 Disponible 
Article : texte imprimé
Point, en 2011, par un mathématicien, sur le rôle des ordinateurs dans la validation de résultats mathématiques : apports et limites de l'informatique comme assistant de preuve pour aider à la formalisation de la démonstration de théorème.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05385 Disponible 
Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06027 Disponible
