Quelques rudiments de calculabilité et de complexité

De Sciencinfolycee
Aller à : navigation, rechercher
Section Description
URL http://www.canal-u.tv/canalu/producteurs/fuscia/dossier programmes/science info lycee/quelques rudiments de calculabilite et de complexite
Titre Quelques rudiments de calculabilité et de complexité
Auteur(s) Gastin, Paul
Fonction(s) auteur
Notes
Section Analyse
Langue fre
Résumé Exposé de 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 : à travers des exemples concrets tel que le jeu du Sudoku sont présentées deux problématiques fondamentales de l'algorithmique théorique, la calculabilité et la complexité. Définition des notions et présentation des jalons historiques de Hilbert à Gödel et Turing illustrant les grandes étapes des idées à ce sujet. Il définit les classes de complexité et donne quelques clés pour les évaluer. Il est suivi d'une séance de questions-réponses.
Sélection(s) thématique(s) Calculabilité et complexité
Mots-clés normalisés algorithme classique ; codage de l'information ; calculabilité de l'interpréteur ; classe de complexité d'algorithmes ; apprentissage de base ; machine de Turing
Proposition autres mots-clés
Type documentaire image en mouvement
Typologie Générale banque de vidéo
Date de publication 2010/06/02
Structure du document atomique
Niveau d'agrégation 1.Le plus petit niveau (grain)
Exigences techniques vidéo et slides
Durée (en min) 81' 10"
Section Pédagogie
Type pédagogique cours / présentation
Public cible enseignant
Utilisation pédagogique
Section Droits
Droits du document Droits réservés à l'éditeur et aux auteurs
Section processus de validation (workflow)
Intervenants Julia (demandeur+validateur); Diane Rives (indexation); DB
Statut du workflow publiée
Commentaire Déjà indexé dans Canal-U et Unit => pas de fiche LOM à créer.

Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.