Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 10920
Label UNT Conférences

le (1h21m10s)

Quelques rudiments de calculabilité et de complexité

Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en définissant les notions et en donnant des jalons historiques de Hilbert à Gödel et Turing sur les grandes étapes des idées à ce sujet. Il définit les classes de complexité et donne quelques clés pour les évaluer.Ce cours a été donné en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une présentation et d'une ...
Voir la vidéo
Entretiens

le (1h21m18s)

L'impact de l'homme sur le climat : incertitudes, acquis et enjeux

Le réchauffement climatique est aujourd’hui indiscutable, les causes sont multiples mais l’action de l’homme est prépondérante dans ce processus. L’objectif est ici de faire le point sur les connaissances physiques, mais aussi sur les conséquences humaines et économiques. Dans un second temps, les différentes politiques déployées pour lutter contre le réchauffement seront abordées, ainsi que les limites de ces actions.Enfin, des pistes sont proposées afin de faire face et de réduire les impacts.Générique Interview : Sébastien Le Corre - Réalisation et post-production : Bruno Bastard - Cadeurs : Jean Jimenez et Claire Sarazin - Production et moyens techniques : SCAM, Université de ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte