Programme

• 10h00 : Accueil café
• 10h20 : Ouverture de la journée
• 10h30 : « Les machines de Turing et les limites du calcul »
  Conférence de Nicolás BITAR
  Les machines de Turing sont un modèle théorique de calcul au centre de l’informatique théorique moderne. Elles ont été introduites par Alan Turing dans les années 30 dans le but de capturer formellement l’essence des algorithmes. L’objectif de cet exposé est de présenter ce modèle et de comprendre les limites des ordinateurs et son impact sur les mathématiques modernes.
• 12h00 : Repas
  participation de 8 euros pour ce repas (chèques ou espèces)
  • Présence de Numworks et TI
• 13h30 : Stand brochures
• 14h00 : 2 ateliers en parallèle
  • « Tester des algorithmes sur un prototype de la machine de Turing » avec Marc Raynaud, prof Math (retraité), asso Rennes en sciences
    1) Présentation du prototype et explications sur la façon de lui donner des instructions. 30 mn
    2) Travaux dirigés en recherche d’algorithmes. 1 h Les participants recevront une liste d’idées d’algorithmes à faire tourner sur le prototype. Ils pourront percer des feuilles de programmation et venir tester leur solution directement sur la machine.
    Atelier animé par Marc RAYNAUD
  • « $\LaTeX$, un outil pour créer, pour soi ou pour l’APMEP » par Anne-Sophie Suchard, Enseignante à l’IUT de Cergy.
    On apprendra à modifier et à créer un texte en Latex avec Overleaf. Cela permet notamment d’exploiter des sujets de bac et de Brevet et de pouvoir contribuer au codage d’articles d’Au fil des maths, le bulletin de l’APMEP. Apporter son ordinateur personnel.
• 15h30 : Questions d’actualités, échanges avec la salle
• 16h00 : Assemblée Générale