Journée de la Régionale 2011 du 3 décembre 2011

La Régionale de Lyon organise une journée le 3 Décembre au Lycée La Martinière Monplaisir (plan d’accès)

 

PDF - 2.1 Mo
Affiche
du 3 décembre

Programme

  • 9h30 Accueil
  • 9h45 Conférence d’Olivier Brunet : Histoires d’infinis et d’informatique
  • 12h Assemblée générale extraordinaire
  • 12h 30 Repas à l’extérieur du lycée
  • 14h Ateliers : dans le cadre de cette journée nous vous proposons 3 ateliers au choix :
    • Utilisation du serveur d’exercices intéractifs Wims
    • Latex installation et utilisation des fichiers disponibles sur le site de l’APMEP.
    • Créer un tableau interactif à l’aide d’une wiimote

Fiche d’inscription

 

Présentation détaillée de la conférence

Si des premiers ordinateurs datent de la fin de la deuxième guerre mondiale, l’histoire de l’informatique débute bien plus tôt avec la création de mécanismes permettant d’effectuer des calculs ou d’exécuter des programmes. Mais le récit de cette histoire serait incomplète si l’on ne considérait que son côté “mécanique”.

En effet, dans le courant du XIXe siècle, les difficultés et paradoxes rencontrés pour formaliser des notions fondamentales comme les ensembles, les raisonnements logiques ou encore les fonctions ont conduits les mathématiciens à se poser des questions comme :

  • Que peut-on prouver effectivement ?
  • Que peut-on calculer effectivement ?

Une réponse satisfaisante sera fournie par ce que l’on appelle maintenant la théorie de la calculabilité. Elle repose sur la notion de modèles de calcul, tels que les machines de Turing ou le lambda-calcul, qui indiquent comment modéliser la formulation et le déroulement d’un calcul (que l’on appellera de façon plus général un algorithme), et donnent des bases théoriques pour répondre aux questions précédentes.

Et les ordinateurs dans tout cela ? Ils représentent l’incarnation physique de ces modèles de calcul, et les résultats de la théorie de la calculabilité assurent leur universalité : tout ce qui est calculable théoriquement peut être calculé par un ordinateur.

 

L’APMEP

Brochures & Revues
Ressources

Actualités et Informations

Actualités et Informations avec nos partenaires

Base de ressources bibliographiques

Publimath, base de ressources bibliographiques

 

Les Régionales de l’APMEP

les Régionales de l'APMEP