Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 363
Conférences

le (59m17s)

Ma thématique, la didactique, l'informatique aussi

Les mathématiques sont, pour la didactique de cette discipline, un objet d'étude sous les contraintes particulières des problématiques de l'apprentissage et de l'enseignement. Elles peuvent aussi être un outil pour la recherche en didactique, pour comprendre les enjeux de contenu et comme un outil de modélisation. C'est à ce point que l'informatique, en tant que science et technologie, apparait avec toute sa puissance, au-delà des rêves d'innovation qui souvent paraissent en constituer la justification.
Voir la vidéo
Conférences

le (59m23s)

Apports des satellites à la prévision des événements météorologiques et climatiques

La qualité des prévisions météorologiques s’est améliorée de manière continue lors des dernières décennies, conduisant aujourd’hui à des prévisions d’excellente qualité jusqu’à une semaine ou plus d’échéance. Les prévisions mensuelles et saisonniaires atteignent une qualité ouvrant un marché croissant d’utilisateurs. Ces progrès remarquables ont été obtenus grâce à des avancées majeures dans les trois secteurs essentiels pour la prévision du temps et du climat: l’amélioration des modèles numériques, une augmentation exponentielle d’observations météorologiques, notamment grâce aux satellites d’observation de la terre, accompagnée de ...
Voir la vidéo
Conférences

le (59m38s)

Pédagogie, université et numérique : paradigmes de recherche et cultures d’action

Cette conférence a eu lieu à l’occasion des journées scientifiques « Pédagogie universitaire numérique », organisées par le service de formation et l’équipe EducTice de l’INRP (Ecole Normale Supérieure de Lyon), et la Mission du Numérique pour l’Enseignement Supérieur (MESR). Le mouvement de la pédagogie universitaire est confronté à la prégnance d’un modèle traditionnel qui institue le déni du pédagogique. Par ailleurs, les tentatives répétées d’intégrer les technologies en tant qu’objets toujours renouvelés tend à en accentuer la dimension instrumentale, sans pour autant permettre une transformation structurelle des formes de transmission à l’université. Entre ces deux tendances, le développement ...
Voir la vidéo
Conférences

le (1h1m21s)

Mathématiques savonneuses

Qui n'a pas été émerveillé par des bulles de savon ? A partir de quelques expériences simples et d'un peu de curiosité, nous allons nous plonger dans le monde des films de savon pour ressortir avec des surfaces minimales... après passage dans le monde mathématique. L'objectif sera de partir des questions naturelles qui se posent en regardant ces film de savon et de décrire la démarche (idéalisée) du mathématicien pour en tirer des questions mathématiques. Nous ne pourrons nous empêcher de décrire quelques outils nécessaires à leur résolution même si cela ne veut (et ne doit) pas être le ...
Voir la vidéo
Conférences

le (1h2m2s)

Recherches, pratiques d’enseignement et pratiques de recherche

Cette conférence a eu lieu à l’occasion des journées scientifiques « Pédagogie universitaire numérique », organisées par le service de formation et l’équipe EducTice de l’INRP (Ecole Normale Supérieure de Lyon), et la Mission du Numérique pour l’Enseignement Supérieur (MESR). Des nombreux travaux pilotés par des chercheurs issus principalement des sciences de l’informatique proposent aux enseignants des méthodes, des modèles et des artefacts informatiques conçus pour soutenir et accompagner le développement de nouvelles pratiques d’enseignement adaptées au contexte de la pédagogie numérique. Ces travaux sont fondés sur l’ingénierie pédagogique dont la finalité peut être décrite en termes de rationalité, ...
Voir la vidéo
Conférences

le (1h2m37s)

Proofs assistants : from symbolic logic to real mathematics

Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in order to verify hardware and software — are growing in sophistication and are being applied more and more to mathematics itself. When will proof assistants finally become useful to working mathematicians? Mathematicians have used computers in ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte