914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions
De AgregmathKL
| (8 révisions intermédiaires par 4 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | + | = Plans = | |
| − | + | ||
| − | + | [[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]] | |
| − | [[Category: | + | [[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
Plan scanné de l'année 2012-2013
Plan scanné de l'année 2013-2014
Plan scanné de l'année 2014-2015
Plan scanné de l'année 2015-2016
Plan scanné de l'année 2018-2019
Développements
- Arithmétique de Presburger
- Indécidabilité de la terminaison d'un système de réécriture
- Théorème de Rice
Commentaires
- Attention pour le théorème de Rice :
- Complément de cours : [1]
