Accueil > Enseignement > Anciens cours (avant 2015-2016) > Éléments d’informatique (L1 cours, TD, TP, 2008-2012+) > EI 2011-2012 (archive) > Cours 12 : introduction à l’indécidabilité
Cours 12 : introduction à l’indécidabilité
jeudi 15 décembre 2011, par
Révisions. Preuve de l’indécidabilité de l’arrêt. Intuition du théorème de Rice.