CPES Algorithmique et Applications : Introduction à la calculabilité

Cette vidéo est la treizième séance, « Introduction à la calculabilité », du cours Algorithmique & Applications de la deuxième année du CPES (Université PSL). On y introduit les notions de (semi-)décidabilité, de modèle de calcul, et on passe en revue les résultats fondamentaux du domaine de la calculabilité. Les notes du cours sont disponibles sur le Moodle (pour les étudiants du CPES) et sur https://pierre.senellart.com/enseigne... Le contenu de cette vidéo est également rédigé sous la forme d'un chapitre de polycopié du cours, le chapitre 10 de http://www.lrde.epita.fr/people/akim/...