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

Plans

Plan scanné de l'année 2012-2013

Plan scanné de l'année 2013-2014

Plan scanné de l'année 2014-2015

Plan scanné de l'année 2015-2016

Plan scanné de l'année 2018-2019

Développements

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

Commentaires

• Attention pour le théorème de Rice : $\emptyset \not =\{\emptyset \}$
• Complément de cours : [1]