1 ressource : GASTIN PAUL

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
Canal-U
Quelques rudiments de calculabilité et de complexité
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 ...
Mots clés : diagonalisation, codage, science informatique, calculabilité, programme, complexité, modèle de calcul, réduction
Date : 02-06-2010
Format : video/mp4
Auteur : GASTIN Paul
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.