Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

Pour le prof de maths - Page 14

  • Correction d'interrogation dynamique avec GeoGebra

    Je viens de produire ma première correction dynamique d'interrogation. De plus celle-ci est placée sur GeoGebraTube ce qui permet sa diffusion via un hyperlien. Simple et efficace.

     Agissez sur les curseurs pour modifier les valeurs de a,b et c.

  • Topologies identiques à celles des Rubik's Cube

    Si vous êtes passioné de Rubik, vous allez sans doute être séduit par la projection stéréographique de la famille.
    Un programme permettant de réaliser les manipulations sur les pojections est disponible sur cette page. Un autre permet de manipuler virtuellement les Rubik:  Ultimate Magic Cube.

     

  • Avancée dans la preuve informatique

    1354470170_blue_monster_happy.png6 ans après la démonstration par ordinateur du théorème des quatre couleurs, Georges Gonthier et son équipe réussissent la démonstration, autrement plus complexe, du théorème de Feit et Thompson, un théorème central pour la théorie des groupes et leur classification. Grand pas pour les mathématiques, qui s’appuient de plus en plus sur la preuve par ordinateur, c’est surtout une réussite pour l’informatique qui montre là sa capacité à déployer des outils et des techniques de qualité pour codifier les mathématiques.

     

    Après la validation du théorème des quatre couleurs par le logiciel de certification Coq en 2005, c’est au tour du théorème de Feit et Thompson de passer dans la moulinette de la preuve informatique. La difficulté était cependant incomparable car, si le théorème des quatre couleurs n’utilise que des mathématiques combinatoires élémentaires, le théorème de Feit et Thompson s’appuie sur des mathématiques embrassant, grosso modo, le programme jusqu’à la licence ! Il est également plus long, avec ses 250 pages de démonstration, et les enjeux autrement importants, avec des applications dans de nombreux domaines scientifiques modernes, de la mécanique quantique à la cryptographie, en passant par la cristallographie.

    La suite de l'article ICI et les témoignages des membres de l'équipe ICI .

  • Utilisation d'un smartphone en caméra document

    J'ai pour la première fois utilisé mon smartphone en caméra document afin de vidéo-projeter le travail d'une élève après un bref contrôle en classe. Le résultat est très bon et l'impact pédagogique sensible. 


    L'application Camscanner que j'ai utilisée, permet de convertir directement les images en fichier PDF, permettant ainsi d'utiliser avec aisance le scrolling et le zoom tactiles en projection. Cette application permet de plus un recadrage facile et une amélioration de l'image par défaut, ce qui évite une manipulation fastidieuse.

    Une fois le montage réalisé, par exemple, pendant un test ou une activité, il suffit de prendre la ou les photos des travaux puis de projeter. Il est possible d'effectuer une correction en direct d'une activité en s'appuyant sur une production d'élève. Cela permet aussi de mettre très rapidement en lumière la réalisation d'un travail. 


    Je pense que je suis loin d'avoir fait le tour de toutes les implications pédagogiques et didactiques de cette possibilité qui est maitenant offerte à tous ou presque. Cette pratique me semble de être utilisable à tous les niveaux d'enseignement.

    Le seul bémol est l'obligation de sortir en HDMI, format d'entrée qui n'est pas présent sur tous les vidéo-projecteurs.

    Voici le résultat. Cliquez sur l'image pour l'agrandir.

     

    2012-11-30_10-27-06_534.jpg

     

  • La preuve du théorème de Pythagore de Garfield: Jolie et simple par KhanAcademy