Sujets
Champion Thesaurus > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique
Commentaire :
NO : NC. cas général
Voir aussi |
Documents disponibles dans cette catégorie (36)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Article : texte imprimé
Jean-Paul Delahaye, Auteur | 2020"Les intelligences artificielles seront-elles un jour capables de produire des théorèmes aussi intéressants que ceux des mathématiciens humains ? On en est encore loin, mais les choses avancent peu à peu." (Extrait de Pour la science n°510)Article : texte imprimé
2019"Pour se doter de moyens d’analyse critique des médias et des faits de société, il faut savoir lire des graphiques et en déjouer les pièges… Toutes les matières mathématiques, que ce soit la ...texte imprimé
Philippe Anciaux, Auteur ; Audrey Chaidron, Auteur ; Pascal Dewaele, Auteur ; Aline Want, Auteur | Wommelgem : Van In | 2019La collection Math pour réussir propose des outils de remédiation et de soutien scolaire (en complément de tout manuel ou cours personnel). La collection travaille les matières à problèmes récurrents telles que les nombres, le calcul litté...Article : texte imprimé
Elisabeth Busser, Auteur ; Hervé Lehning, Auteur ; Fabien Aoustin, Auteur ; Michel Criton, Auteur | 2016"Pythagore est bien plus qu'un mathématicien, dont le théorème, célèbre depuis l'Antiquité, traverse les générations et a suscité à travers les siècles un nombre impressionnant de démonstrations. Qu'on parle ...Bulletin : texte imprimé
texte imprimé
Justine Squélart, Auteur ; Anne-Marie Valenduc, Promoteur du mémoire, TFE | 2014Ce travail a pur but d'aider les élèves à mieux structurer leur raisonnement et leurs justifications. L'auteur se base sur l'apprentissage des démonstrations, plus particulièrement la géométrie. En effet, le raisonnement exigé est très complexe au niveau de multiples aspects comme par exemple, les figures, les connaissances théoriques. L'é...Article : texte imprimé
Philippe Pajot, Auteur | 2013"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 !" (Extrait de Science & Vie n°1148)Article : texte imprimé
Jörn Steuding, Auteur ; Rasa Steuding, Auteur ; P. Meier, Auteur | 2012L'une des principales conjectures de la théorie des nombres est celle de Birch et Swinnerton-Dyer. Elle vise à dénombrer des points remarquables sur des courbes dites elliptiquesArticle : texte imprimé
Jean-Paul Delahaye, Auteur | 2012La conjecture de Syracuse affirme que les suites de nombres construites selon des règles simples conduisent nécessairement à 1 quel que soit le point de départ. Malgré des progrès récent et l’intérêt de nombreux mathématiciens professionnels et amateurs, sa démonstration résiste encore.Article : texte imprimé
2012Comment "paver" l'espace par des bulles de même volume en minimisant la surface totale occupée par leurs parois? Ce problème a été posé en 1887 par le physicien Lord kelvin, qui a proposé uns structure de "bulles" pour le résoudre. La meilleure structure actuelle a été élaborée en 1993 par D...