Telecharger Cours

Calculabilité. Rappel Conséquence Ensembles dénombrables

La fonction f qui envoie (?A?,w) sur (?B?,w) est calculable. De plus, on a (?A?,w) ? Luniv si et seulemnet si B s'arrête sur w, c'est-à-dire (?A?,w) ? ...



Download