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

De AgregmathKL
Révision de 22 avril 2022 à 09:37 par Antoine De (discuter | contributions)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)
Aller à : navigation, rechercher

Plans

Pdf Plan scanné de l'année 2012-2013

Pdf Plan scanné de l'année 2013-2014

Pdf Plan scanné de l'année 2014-2015

Pdf Plan scanné de l'année 2015-2016

Pdf Plan scanné de l'année 2018-2019


Développements


Commentaires

  • 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=4936 »