Coq: les maths ont trouvé leur maître / Philippe PAJOT in Science & Vie, 1148 (05/2013)  

[article]  inScience & Vie > 1148 (05/2013) Titre : Coq: les maths ont trouvé leur maître Type de document : texte imprimé Auteurs : Philippe PAJOT, Auteur Année de publication : 2013 Article en page(s) : 110-113 Langues : Français (fre) Catégories : Documentaire démonstration mathématique Résumé : Pour qu'un théorème soit juste, il faut qu'il soit démontré. Ce qui nécessite des dizaines et des dizaines de pages de raisonnement... qu'un logiciel, baptisé Coq, permet aujourd'hui de vérifier automatiquement et, surtout, de valider, sans erreur possible. De quoi révolutionner les maths! Nature du document (NOUVEAU) : documentaire En ligne : http://www.science-et-vie.com/ [article]

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Exoplanètes / Philippe PAJOT in Science & Vie, 1089 (06/2008)  

[article]  inScience & Vie > 1089 (06/2008) Titre : Exoplanètes : Des couleurs dans leurs atmosphères Type de document : texte imprimé Auteurs : Philippe PAJOT, Auteur Année de publication : 2008 Article en page(s) : 70-80 Langues : Français (fre) Catégories : Documentaire astrophysique ; couleur Index. décimale : 535.6 Couleur Résumé : Pour la première fois, des astronomes ont pu déterminer la couleur du ciel d'une de nos lointaines planètes qui ne gravitent pas autour du soleil. Nature du document (NOUVEAU) : documentaire En ligne : http://www.science-et-vie.com/ [article]

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
DM20472	SCIVI 06/08	Périodique	Bibliothèque principale	Archives	Disponible

L'expérience ultime qui a défié le photon / Philippe PAJOT in Science & Vie, 1080 (09/2007)  

[article]  inScience & Vie > 1080 (09/2007) Titre : L'expérience ultime qui a défié le photon Type de document : texte imprimé Auteurs : Philippe PAJOT, Auteur Année de publication : 2007 Article en page(s) : 68-72 Langues : Français (fre) Catégories : Documentaire physique Index. décimale : 53 Physique Résumé : En poussant la dualité onde-particule de la lumière dans ses ultimes retranchements, des physiciens ont montré que sa nature échappe définitivement au sens commun. Sidérant. Nature du document (NOUVEAU) : documentaire En ligne : http://www.science-et-vie.com/ [article]

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
DM20857	SCIVI 09/07	Périodique	Bibliothèque principale	Archives	Disponible

Hess une fenêtre sur la violence de l'univers / Philippe PAJOT in Science & Vie, 1075 (04/2007)  

[article]  inScience & Vie > 1075 (04/2007) Titre : Hess une fenêtre sur la violence de l'univers Type de document : texte imprimé Auteurs : Philippe PAJOT, Auteur Année de publication : 2007 Article en page(s) : 80-85 Langues : Français (fre) Catégories : Documentaire télescope Index. décimale : 520.2 Téléscope astronomique Résumé : En révélant la lumière des photons gamma, le quatuor de télescopes HESS lève enfin le voile sur le mystérieux phénomène qui secoue les astres les plus violents : l'accélération du rayonnement cosmique. Nature du document (NOUVEAU) : documentaire En ligne : http://www.science-et-vie.com/ [article]

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
DM20826	SCIVI 04/07	Périodique	Bibliothèque principale	Archives	Disponible

Mathématiques: penser types plutôt qu'ensembles / Philippe PAJOT in Science & Vie, 1153 (10/2013)  

[article]  inScience & Vie > 1153 (10/2013) Titre : Mathématiques: penser types plutôt qu'ensembles Type de document : texte imprimé Auteurs : Philippe PAJOT, Auteur Année de publication : 2013 Article en page(s) : 111-120 Langues : Français (fre) Catégories : Documentaire ensemble : mathématique Résumé : La théorie des ensembles, incomplète et trop abstraite, a vite révélé des failles. Un autre langage est prêt à prendre le relais. Nature du document (NOUVEAU) : documentaire En ligne : http://www.science-et-vie.com/ [article]

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Trous noirs / Philippe PAJOT in Science & Vie, 1085 (02/2008)  

Permalink

---

1 (1 - 6 / 6)