Journée de la Régionale 2011 le samedi 3 décembre 2011
 
 

La Régionale de Lyon organise une journée :

le 3 Décembre 2011 de 9h30 à 16h
au Lycée La Martinière Monplaisir
41, rue Antoine Lumière 69372 Lyon
(plan d’accès)

Fiche d’inscription

 

Affiche
3 décembre 2011

 

Programme

  • 9h30 Accueil
  • 9h45 Conférence : « Histoires d’infinis et d’informatique »
    d’Olivier Brunet
  • 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

 

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

« Histoires d’infinis et d’informatique »
conférence d’Olivier Brunet

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.

 

Les Journées Nationales
L’APMEP

Brochures & Revues
Ressources

Actualités et Informations
Base de ressources bibliographiques

 

Les Régionales de l’APMEP