↓ Aller au contenu

32 — Décidabilité et indécidabilité. Exemples.

Propositions de plans

Plan de Balthazar Patiachvili

Auteur : Balthazar Patiachvili
Date de publication : 20 avril 2026
Développements proposés :
- Théorème de Rice
- Décidabilité de problèmes sur les grammaires algébriques

Plan au format PDF

Liste de tous les développements proposés pour cette leçon