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

De AgregmathKL
Aller à : navigation, rechercher

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

Complément de cours : [1]


Développements