914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions
De AgregmathKL
| Ligne 1 : | Ligne 1 : | ||
| + | |||
| + | |||
| + | *2013-2014 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:914_2013-2014.pdf|915 Décidabilité et indécidabilité. Exemples.]] | ||
| + | |||
Attention pour le théorème de Rice : | Attention pour le théorème de Rice : | ||
<math> \emptyset \not = \{ \emptyset \} </math> | <math> \emptyset \not = \{ \emptyset \} </math> | ||
Version du 26 mars 2015 à 16:38
Attention pour le théorème de Rice :
Complément de cours : [1]
