914 -- Décidabilité et indécidabilité. Exemples.

De AgregmathKL

Révision de 16 décembre 2014 à 21:13 par Mathias Millet (discuter | contributions) (Remplacement de texte — « Category:Leçons d'informatique » par « Category:Leçon d'informatique »)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)

Aller à : navigation, rechercher

Attention pour le théorème de Rice : $\emptyset \not =\{\emptyset \}$

Complément de cours : [1]

Récupérée de « https://minerve.ens-rennes.fr/index.php?title=914_--_Décidabilité_et_indécidabilité._Exemples.&oldid=2313 »

Leçon d'informatique