Quelques rudiments de calculabilité et de complexité : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
 
(6 révisions intermédiaires par 2 utilisateurs non affichées)
Ligne 5 : Ligne 5 :
 
|SiloRole=auteur;
 
|SiloRole=auteur;
 
|SiloLangue=fre
 
|SiloLangue=fre
|Résumé=Traite de deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité
+
|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.
|Catégorie=2.4. Calculabilité et complexité
+
|Catégorie=Calculabilité et complexité
|Mots-clés contrôlés=Algorithme classique; Codage de l'information; Calculabilité de l'interpréteur; Classe de complexité d'algorithmes;
+
|Mots-clés contrôlés=algorithme classique; codage de l'information; calculabilité de l'interpréteur; classe de complexité d'algorithmes; apprentissage de base; machine de Turing;
 
|SiloTypeDocumentaire=image en mouvement
 
|SiloTypeDocumentaire=image en mouvement
 
|SiloTypologieGenerale=banque de vidéo
 
|SiloTypologieGenerale=banque de vidéo
 
|Date=2010/06/02
 
|Date=2010/06/02
 
|SiloStructure=atomique
 
|SiloStructure=atomique
|SiloNiveauAgregation=2.une collection de ressources de niveau 1
+
|SiloNiveauAgregation=1.Le plus petit niveau (grain)
 
|Format=vidéo et slides
 
|Format=vidéo et slides
|SiloDuree=81.10
+
|SiloDuree=81' 10"
 
|SiloTypePedagogique=cours / présentation
 
|SiloTypePedagogique=cours / présentation
 
|SiloPublicCible=enseignant
 
|SiloPublicCible=enseignant
|Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation)
+
|SiloDroit=Droits réservés à l'éditeur et aux auteurs
|Statut d'évaluation=en cours d'indexation
+
|Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation); DB
|Commentaire=déjà indexé dans Canal-U et Unit => pas de fiche LOM à créer
+
|Statut d'évaluation=publiée
 +
|Commentaire=Déjà indexé dans Canal-U et Unit => pas de fiche LOM à créer.
 
|Visibilité=Public
 
|Visibilité=Public
 
}}
 
}}

Version actuelle datée du 5 mars 2012 à 14:25

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.