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 séance de questions-réponses.

Disciplines : Modélisation mathématique
Mots-clés : diagonalisation,codage,science informatique,calculabilité,programme,complexité,modèle de calcul,réduction
Type de document : image en mouvement
Type de ressource : lecture
Niveau : formation continue
Auteurs ou éditeurs : Paul GASTIN,INRIA (Institut national de recherche en informatique et automatique)