914 -- Décidabilité et indécidabilité. Exemples.

• 2012-2013 915 Décidabilité et indécidabilité. Exemples.
• 2013-2014 915 Décidabilité et indécidabilité. Exemples.
• 2014-2015 915 Décidabilité et indécidabilité. Exemples.

Attention pour le théorème de Rice : $\emptyset \not =\{\emptyset \}$

Complément de cours : [1]

Développements

• Arithmétique de Presburger
• Indécidabilité de la terminaison d'un système de réécriture
• Théorème de Rice