Profs2011:StageEtablissementCIV : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
m (Programme proposé)
m («Mécanismes d'abstraction dans les langages informatiques»)
 
(12 révisions intermédiaires par le même utilisateur non affichées)
Ligne 1 : Ligne 1 :
 
 
[[Catégorie:Profs2011]]
 
[[Catégorie:Profs2011]]
  
Ligne 12 : Ligne 11 :
  
 
===Programme proposé===
 
===Programme proposé===
# Me 26 janvier, 14h-17h, Pierre Bernhard, Directeur de Recherche Emérite de l'INRIA, INRIA Sophia-Antipolis, «'''Mathématiques et Sciences numériques'''», conférence puis table ronde questions/réponses.
+
 
#* Où sera montré la démarche de modélisation avec les choix simplificateurs qu'elle implique et les allers et retours vers/de la validation expérimentale (mesures physiques ou simulation numérique).
+
==== «'''Mathématiques et Sciences numériques'''» ====
#** Mise en perspective de quelques grands outils mathématiques (systèmes dynamiques, théorie des jeux, ..) lors de la table ronde.
+
* Me 26 janvier, 14h-17h, au CIV, [http://www-sop.inria.fr/comore/Personnel/Pierre.Bernhard Pierre Bernhard], Directeur de Recherche Emérite de l'INRIA, INRIA Sophia-Antipolis, «'''Mathématiques et Sciences numériques'''», conférence puis table ronde questions/réponses.
#** Documents de la présentation [[Fichier:Pierre.Bernhard-Foraging.pdf|Mathématiques et lutte biologique]], [[Pierre.Bernhard-Wardrop.pdf|Economie, Transport, Évolution]] ([[Fichier:Pierre.Bernhard-Wardrop.en.pdf|english]])  
+
** Où sera montré la démarche de modélisation avec les choix simplificateurs qu'elle implique et les allers et retours vers/de la validation expérimentale (mesures physiques ou simulation numérique).
#** Présentation complémentaire en vidéo: sur les [http://interstices.info/jeux-dynamiques Jeux Dynamiques] et quelques mots (audio) sur [http://interstices.info/ecologie-comportementale à propos de l’écologie comportementale].
+
*** Mise en perspective de quelques grands outils mathématiques (systèmes dynamiques, théorie des jeux, ..) lors de la table ronde.
# Me 2 février, 14-17h, Jean-Paul Rigault, Professeur de l'Université de Nice, INRIA Sophia-Antipolis, «'''Mécanismes d'abstraction dans les langages informatiques'''», conférence puis table ronde questions/réponses ou double conférence.
+
*** Documents de la présentation [http://wiki.inria.fr/sciencinfolycee/Fichier:Pierre.Bernhard-Foraging.pdf Mathématiques et lutte biologique], [http://wiki.inria.fr/sciencinfolycee/Fichier:Pierre.Bernhard-Wardrop.pdf Economie, Transport, Évolution] ([http://wiki.inria.fr/sciencinfolycee/Fichier:Pierre.Bernhard-Wardrop.en.pdf english]) .
#* Où seront montrés les différents paradigmes de programmation au delà de l'agorithmique impérative enseignée en seconde: programmation modulaire, orientée objet, fonctionnelle.  
+
*** Présentation complémentaire en vidéo: sur les [http://interstices.info/jeux-dynamiques Jeux Dynamiques] et quelques mots (audio) sur [http://interstices.info/ecologie-comportementale à propos de l’écologie comportementale].
#**Mise en perspective de quelques grands outils informatiques de la théorie des langages de programmation : grammaires formelles, analyse lexicale/syntaxique, sémantique, compilation.</font>
+
 
# Me 9 février, 14-17h, Gilles Dowek, Directeur de Recherche de l'INRIA, Laboratoire d'Informatique (LIX), École polytechnique, «'''Comment enseigner les principes des langages de programmation'''», double conférence avec poses questions.
+
==== «'''Mécanismes d'abstraction dans les langages informatiques'''» ====
#* Où seront mis en perspective (i) les quatre piliers de l'informatique (algorithme, langage, machine, information) et (ii) la sémantique des langages impératifs, pour se donner les fondements théoriques de la programmation sur quelques éléments précis.
+
* Me 2 février, 14-17h, à l'INRIA, [http://users.polytech.unice.fr/~jpr Jean-Paul Rigault], Professeur de l'Université de Nice, INRIA Sophia-Antipolis, «'''Mécanismes d'abstraction dans les langages informatiques'''», conférence puis table ronde questions/réponses ou double conférence.
# Me 16 février, 14-17h, Thierry Viéville, Directeur de Recherche de l'INRIA, INRIA Sophia-Antipolis, «'''Information et codage: les 1eres objets numériques'''», petite conférence et atelier collectif.
+
** Où seront montrés les différents paradigmes de programmation au delà de l'agorithmique impérative enseignée en seconde: programmation modulaire, orientée objet, fonctionnelle.  
#* Où serons donnés quelques compléments sur les deux théories de l'information, avant de regarder ensemble comment sont codés les objets numériques (exemple des images et des sons).
+
*** Mise en perspective de quelques grands outils informatiques de la théorie des langages de programmation : grammaires formelles, analyse lexicale/syntaxique, sémantique, compilation.
#** Atelier collectif: mise en place de sujets concrets d'activités et de contenus théoriques associés. Exemples de la synthèse de son, du traitement d'images et d'algorithmes sur les graphes.
+
** Documents de la présentation [[Fichier:Jean-Paul.Rigault-abstractions-informatiques.pdf]]
 +
 
 +
==== «'''Comment enseigner les principes des langages de programmation'''» ====
 +
* Me 9 février, 14-17h, au CIV, Gilles Dowek, Directeur de Recherche de l'INRIA, Laboratoire d'Informatique (LIX), École polytechnique, «'''Comment enseigner les principes des langages de programmation'''», double conférence avec poses questions.
 +
** Où seront mis en perspective (i) les quatre piliers de l'informatique (algorithme, langage, machine, information) et (ii) la sémantique des langages impératifs, pour se donner les fondements théoriques de la programmation sur quelques éléments précis.
 +
 
 +
La conférence de Gilles sur la «déraisonnable efficacité des mathématiques» : http://www-sop.inria.fr/colloquium/intervenant.php?nom=Dowek&prenom=Gilles
 +
 
 +
==== «'''Information et codage: les 1eres objets numériques'''» ====
 +
* Me 16 février, 14-17h, au CIV, Thierry Viéville, Directeur de Recherche de l'INRIA, INRIA Sophia-Antipolis, «'''Information et codage: les 1eres objets numériques'''», petite conférence et atelier collectif.
 +
** Où serons donnés quelques compléments sur les deux théories de l'information, avant de regarder ensemble comment sont codés les objets numériques (exemple des images et des sons).
 +
*** Atelier collectif: mise en place de sujets concrets d'activités et de contenus théoriques associés. Exemples de la synthèse de son, du traitement d'images et d'algorithmes sur les graphes.
  
 
=== Supports de la formation ===  
 
=== Supports de la formation ===  
Ligne 34 : Ligne 44 :
  
 
=== Organisation pratique ===
 
=== Organisation pratique ===
Au CIV, dans l'«amphi prépa».  
+
Au CIV, dans l'«amphi prépa» les 26 janvier, 9 et 16 février.  
 
* Ne pas oublier l'autorisation du chef d'établissement s'il faut un ordre de mission.
 
* Ne pas oublier l'autorisation du chef d'établissement s'il faut un ordre de mission.
 
* Venir avec son ordinateur portable si souhaité.
 
* Venir avec son ordinateur portable si souhaité.
 +
A l'INRIA le 2 février : [http://www.inria.fr/centre-de-recherche-inria/sophia-antipolis-mediterranee/presentation/comment-venir itinéraire].
  
 
Collègues "pré"-inscrits: voir [[Profs2011:StageEtablissementCIV2|page interne]]
 
Collègues "pré"-inscrits: voir [[Profs2011:StageEtablissementCIV2|page interne]]

Version actuelle datée du 3 février 2011 à 12:04


Stage d'établissement: Maths et Informatique en 2nd

Finalité

Participer à la formation des enseignants amenés à enseigner les sciences numériques et les sciences du numériques devenues prépondérantes au 21ème siècle.

Objectifs

  1. Formation pour les enseignements exploratoires de 2nd autour de «mathématiques et informatique» (dans le cadre du MPS, du E34 ou au delà).
  2. Sensibilisation à la formation pour la mise en place d'un enseignement d'exploration « informatique et sciences du numérique » en TS en 2012.

Programme proposé

«Mathématiques et Sciences numériques»

  • Me 26 janvier, 14h-17h, au CIV, Pierre Bernhard, Directeur de Recherche Emérite de l'INRIA, INRIA Sophia-Antipolis, «Mathématiques et Sciences numériques», conférence puis table ronde questions/réponses.

«Mécanismes d'abstraction dans les langages informatiques»

  • Me 2 février, 14-17h, à l'INRIA, Jean-Paul Rigault, Professeur de l'Université de Nice, INRIA Sophia-Antipolis, «Mécanismes d'abstraction dans les langages informatiques», conférence puis table ronde questions/réponses ou double conférence.
    • Où seront montrés les différents paradigmes de programmation au delà de l'agorithmique impérative enseignée en seconde: programmation modulaire, orientée objet, fonctionnelle.
      • Mise en perspective de quelques grands outils informatiques de la théorie des langages de programmation : grammaires formelles, analyse lexicale/syntaxique, sémantique, compilation.
    • Documents de la présentation Fichier:Jean-Paul.Rigault-abstractions-informatiques.pdf

«Comment enseigner les principes des langages de programmation»

  • Me 9 février, 14-17h, au CIV, Gilles Dowek, Directeur de Recherche de l'INRIA, Laboratoire d'Informatique (LIX), École polytechnique, «Comment enseigner les principes des langages de programmation», double conférence avec poses questions.
    • Où seront mis en perspective (i) les quatre piliers de l'informatique (algorithme, langage, machine, information) et (ii) la sémantique des langages impératifs, pour se donner les fondements théoriques de la programmation sur quelques éléments précis.

La conférence de Gilles sur la «déraisonnable efficacité des mathématiques» : http://www-sop.inria.fr/colloquium/intervenant.php?nom=Dowek&prenom=Gilles

«Information et codage: les 1eres objets numériques»

  • Me 16 février, 14-17h, au CIV, Thierry Viéville, Directeur de Recherche de l'INRIA, INRIA Sophia-Antipolis, «Information et codage: les 1eres objets numériques», petite conférence et atelier collectif.
    • Où serons donnés quelques compléments sur les deux théories de l'information, avant de regarder ensemble comment sont codés les objets numériques (exemple des images et des sons).
      • Atelier collectif: mise en place de sujets concrets d'activités et de contenus théoriques associés. Exemples de la synthèse de son, du traitement d'images et d'algorithmes sur les graphes.

Supports de la formation

Les conférenciers vont partager leurs slides et les documents référencés seront mis en ligne sur cette page:

http://wiki.inria.fr/sciencinfolycee/Profs2011:StageEtablissementCIV

qui sert de tableau de bord au travail commun.

  • La revue TDC sur l'informatique, co-produite par l'inria, sera distribuée à tous les profs intéressés (présents ou non).

Organisation pratique

Au CIV, dans l'«amphi prépa» les 26 janvier, 9 et 16 février.

  • Ne pas oublier l'autorisation du chef d'établissement s'il faut un ordre de mission.
  • Venir avec son ordinateur portable si souhaité.

A l'INRIA le 2 février : itinéraire.

Collègues "pré"-inscrits: voir page interne