problème de la décision

INFORMATIQUE

Les problèmes de la décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l’arrêt , le problème de correspondance de Post.