Leçon 914 : Décidabilité et indécidabilité. Exemples.

(2016) 914

Dernier rapport du Jury :

Pas de rapport concernant cette leçon.

Développements :

Plans/remarques :

2015 : Leçon 914 - Décidabilité et indécidabilité. Exemples.


Retours d'oraux :

Pas de retours pour cette leçon.

Références utilisées dans les versions de cette leçon :

Calculabilité et décidabilité , Autebert (utilisée dans 3 versions au total)
Langages formels, Calculabilité et Complexité, Carton (utilisée dans 19 versions au total)
Introduction to the theory of computation , Sipser (utilisée dans 12 versions au total)
Introduction à l'informatique théorique: calculabilité & complexité, Arto Salomaa (utilisée dans 2 versions au total)
Mathématiques de l'informatique , Dehornoy (utilisée dans 8 versions au total)
Logique et fondements de l'informatique, Rougemont, Lassaigne (utilisée dans 6 versions au total)