Accueil
Période scolaire : Lundi-Mardi-Mercredi-Jeudi (09h00 - 17h30) - Vendredi (09h00 - 16h30)
Période congé scolaire : Lundi-Mardi-Mercredi-Jeudi (09h - 16h30) - Vendredi (09h - 14h)
Période congé scolaire : Lundi-Mardi-Mercredi-Jeudi (09h - 16h30) - Vendredi (09h - 14h)
Catégorie démonstration mathématique
|
Documentaire > sciences exactes > mathématiques > logique mathématique > démonstration mathématique
Synonyme(s)théorème |
Documents disponibles dans cette catégorie (6)
Affiner la recherche
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)
in Science & Vie > 1148 (05/2013)Catégories : Documentaire
démonstration mathématiqueRé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 : documentaire En ligne : http://www.science-et-vie.com/ [article]Exemplaires(0)
Disponibilité aucun exemplaire
Titre : Enigme de Fermat : trois siècles de défi mathématique (l') Type de document : texte imprimé Auteurs : Albert VIOLANT i HOLZ, Auteur Editeur : Barcelone : RBA Coleccionables, 2011 Collection : Monde est mathématique (Le) Importance : 151 p. Présentation : ill., schémas, tableaux Format : 23 cm ISBN/ISSN/EAN : 978-2-8152-0449-1 Langues : Français (fre) Catégories : Documentaire
démonstration mathématiqueIndex. décimale : 51 Mathématiques Résumé : De toute l'histoire des mathématiques, aucun théorème n'a éveillé autant d'intérêt que celui énoncé par Pierre de Fermat en 1637. La simplicité de sa formulation contraste avec la complexité mathématique de cette conjecture qui devra attendre plusieurs siècles de recherche avant d'être enfin démontrée - Index, bibliographie. Nature du document : documentaire Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité DM22416 51 MONVIE Livre Bibliothèque principale Général Disponible
Titre : L'étonnante entrée du Gömböc en médecine Type de document : texte imprimé Auteurs : Charlotte MAUGER, Auteur Année de publication : 2022 Article en page(s) : 106-109 Langues : Français (fre)
in Science & Vie > 1263 (12/2022)Catégories : Documentaire
démonstration mathématique ; géométrie ; vaccinRésumé : Le Gömböc est un principe mathématique découvert par un ingénieur Hongrois en 2018. Proche de la sphère, l'objet reviendra toujours en équilibre dans la même position. Contre toute attente, le concept est repris par la médecine qui compte l'adopter pour de nouveaux vaccins. Ingérés par voie orale, le vaccin enrobé dans du sucre dans la forme du Gömböc reviendra dans la bonne position pour pouvoir injecter dans la paroi de l'estomac. Reste à savoir à quel point la position sera exacte, il suffit d'aliments en digestion sur le chemin pour que l'injection se fasse dans le vide. Mais les études sont en bonne voie. Nature du document : documentaire En ligne : http://www.science-et-vie.com/ [article]Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité DM 37389 SCIVI 12/22 Périodique Bibliothèque principale Archives Disponible
Titre : Fermat : de défis en conjectures Type de document : texte imprimé Auteurs : Giulio GIORELLO, Auteur ; Corrado SINIGAGLIA, Auteur Editeur : Paris : Pour la science, 2007 Collection : énies de la science (Les) num. 32 Importance : pp. 20-100 Présentation : ill. Format : 29 cm Langues : Français (fre) Catégories : Documentaire
démonstration mathématique ; Fermat, Pierre de (160?-1665)Index. décimale : 51(092) Mathématicien Résumé : Le nom de Pierre Fermat est associé à une énigme qui porte son nom. Celui-ci serait le prototype du mathématicien génial, mais dilettante, se laissant sans doute guider davantage par l'élégance de l'intuition que par la rigueur de la déduction. Pourtant, cet éminent savant, qui n'hésita pas à défier l'élite de son temps, dont le grand Descartes, se révéla un maître dans tous les domaines des mathématiques. Nature du document : documentaire Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité DM22479 51:92 FERMAG Livre Bibliothèque principale Général Disponible Ordinateurs : ils comprennent enfin quelque chose aux maths / Charlotte MAUGER in Science & Vie, 1294 (07/2025)
Titre : Ordinateurs : ils comprennent enfin quelque chose aux maths Type de document : texte imprimé Auteurs : Charlotte MAUGER, Auteur Année de publication : 2025 Article en page(s) : 102-106 Langues : Français (fre)
in Science & Vie > 1294 (07/2025)Catégories : Documentaire
démonstration mathématique ; informatique ; mathématiques ; ordinateurRésumé : Des mathématiciens se sont lancés le défi d'apprendre le dernier théorème de Fermat à un ordinateur en décomposant ultra-finement sa démonstration et en la traduisant en langage informatique. Une tâche collaborative et titanesque ! Nature du document : documentaire En ligne : http://www.science-et-vie.com/ [article]Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité DM 39989 SCIVI 07/25 Périodique Bibliothèque principale Archives Disponible Permalink
