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

De AgregmathKL

Révision de 22 septembre 2019 à 16:27 par Clarence K (discuter | contributions)

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

Aller à : navigation, rechercher

2012-2013 914 Décidabilité et indécidabilité. Exemples.
2013-2014 914 Décidabilité et indécidabilité. Exemples.
2014-2015 914 Décidabilité et indécidabilité. Exemples.
2015-2016 914 Décidabilité et indécidabilité. Exemples.
2018-2019 914 Décidabilité et indécidabilité. Exemples.

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

Complément de cours : [1]

Développements

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

Leçon d'informatique