Décidabilité et indécidabilité. Exemples.

Décidabilité et indécidabilité. Exemples. - agreg.info

Liste des plans proposés

Plan de Balthazar Patiachvili (#32_0000)
- Développements
  - Théorème de Rice par Balthazar Patiachvili (#00031)
    
    Utilisable dans les leçons : 32
    Références :
  - Décidabilité de problèmes sur les grammaires algébriques par Balthazar Patiachvili (#00032)
    
    Utilisable dans les leçons : 32
    Références :
- Remarques
- Références

Liste de tous les développements proposés

Note : certains développements peuvent être proposés sans faire directement référence à un plan.

Théorème de Rice par Balthazar Patiachvili (#00031)

Utilisable dans les leçons : 32
Références :
Décidabilité de problèmes sur les grammaires algébriques par Balthazar Patiachvili (#00032)

Utilisable dans les leçons : 32
Références :

Voir la liste complète des développements proposés