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 Pierre

Révisions. Preuve de l’indécidabilité de l’arrêt. Intuition du théorème de Rice.

Support de cours

Cours 12 EI
version écran
Cours 12 EI
version papier

Portfolio