 |
Quelques rudiments de calculabilité et de complexité | |
| Auteur(s) : GASTIN PAUL
02-06-2010
Éditeur(s) : INRIA; 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, reduction, science informatique Classification générale : Mathématiques Accès à la ressource : http://www.canal-u.tv/canalu/producteurs/fuscia/do... rtmpt://mediaFM01.cines.fr/3517/cerimes/fuscia/p_g... Conditions d'utilisation : Droits réservés à l'éditeur et aux auteurs | DONNEES PEDAGOGIQUES Type pédagogique : cours / présentation Niveau : enseignement supérieur, formation continue DONNEES TECHNIQUES Format : video/x-flv Taille : 467.55 Mo Durée d'exécution : 1 heure 21 minutes 10 secondes |
| Exporter au format XML |