| Chapitre 0 - Introduction (.pdf) |
 |
| Chapitre 1 - Numérotations (.pdf) |
|
| Chapitre 1 - Numérotations - Annexes (.pdf) |
|
| Chapitre 2 - Paradoxes de la diagonalisation et problème de l'arrêt (.pdf) |
|
| Chapitre 2 - Paradoxes de la diagonalisation et problème de l'arrêt - Exercices (.pdf) |
|
| Chapitre 3 - Récursion et théorème de Rice (.pdf) |
|
| Chapitre 3 - Récursion et théorème de Rice - Exercices (.pdf) |
|
| Chapitre 4 - Ensembles récursivement énumérables (.pdf) |
|
| Chapitre 4 - Ensembles récursivement énumérables - Exercices (.pdf) |
|
| Chapitre 5 - Machines de Turing (.tar.gz) |
|
| Chapitre 6 - Lambda calcul (.pdf) |
|
| Chapitre 6 - Lambda calcul - Exercices (.pdf) |
|
| Chapitre 8 - Temps de calcul, classes de complexité P et NP (.pdf) |
|
| Chapitre 8 - Temps de calcul, classes de complexite P et NP - Exercices (.pdf) |
|
