Ressource documentaire
| Quelques rudiments de calculabilité et de complexité (en Français) | |||
Droits : Droits réservés à l'éditeur et aux auteurs Auteur(s) : GASTIN Paul, INRIA 02-06-2010 Description : 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 séance de questions-réponses. Mots-clés libres : calculabilité, codage, complexité, diagonalisation, modèle de calcul, programme, réduction, science informatique | TECHNIQUE Type : image en mouvement Format : video/x-flv Source(s) : rtmp://streamer2.cerimes.fr/vod/canalu/videos/fuscia/p_gastin.mp4 | ||
Entrepôt d'origine : Canal-U - OAI Archive Identifiant : oai:canal-u.fr:217315 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Quelques rudiments de calculabilité et de complexité (en Français) | |||||||
Identifiant de la fiche : 217315 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0 Droits : libre de droits, gratuit Droits réservés à l'éditeur et aux auteurs Auteur(s) : GASTIN PAUL Éditeur(s) : INRIA 02-06-2010 Description : 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 séance de questions-réponses. Mots-clés libres : calculabilité, codage, complexité, diagonalisation, modèle de calcul, programme, réduction, science informatique
| PEDAGOGIQUE Type pédagogique : cours / présentation Niveau : enseignement supérieur, formation continue TECHNIQUE Type de contenu : image en mouvement Format : video/x-flv Taille : 467.55 Mo Durée d'exécution : 1 heure 21 minutes 10 secondes RELATIONS Cette ressource fait partie de : | ||||||
Entrepôt d'origine : Canal-U - OAI Archive Identifiant : oai:canal-u.fr:217315 Type de ressource : Ressource pédagogique | |||||||
| Exporter au format XML |