914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(Page créée avec « Attention pour le théorème de Rice : \emptyset \not = \{ \emptyset \} »)
 
 
(11 révisions intermédiaires par 4 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
−
Attention pour le théorème de Rice :  
+
= Plans =
−
\emptyset \not = \{ \emptyset \}
+
 
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2012-2013.pdf|24px]] [[Média:914_2012-2013.pdf|Plan scanné de l'année 2012-2013]]
 +
 
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2013-2014.pdf|24px]] [[Média:914_2013-2014.pdf|Plan scanné de l'année 2013-2014]]
 +
 
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2014-2015.pdf|24px]] [[Média:914_2014-2015.pdf|Plan scanné de l'année 2014-2015]]
 +
 
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2015-2016.pdf|24px]] [[Média:914_2015-2016.pdf|Plan scanné de l'année 2015-2016]]
 +
 
 +
[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2018-2019.pdf|24px]] [[Média:914_2018-2019.pdf|Plan scanné de l'année 2018-2019]]
 +
 
 +
 
 +
= Développements =
 +
<DynamicPageList>
 +
category            = Développement de la leçon 914
 +
</DynamicPageList>
 +
 
 +
 
 +
= Commentaires =
 +
 
 +
* Attention pour le théorème de Rice : <math> \emptyset \not = \{ \emptyset \} </math>
 +
* Complément de cours : [http://www-igm.univ-mlv.fr/~desar/Cours/automates/ch8.pdf]
 +
 
 +
 
 +
[[Category:Leçon d'informatique]]
 +
[[Category:Anciennes leçons]]

Version actuelle en date du 22 avril 2022 à 09:37

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.bretagne.ens-cachan.fr/index.php?title=914_--_Décidabilité_et_indécidabilité._Exemples.&oldid=4936 »