exercices sur la calculabilité et la complexité

Master 2 MDFI. Faculté des sciences de Luminy. Année universitaire 2012-2013. Logique et théorie du calcul. Quelques exercices de calculabilité et complexité.


Un extrait du document