Cours de principes du calcul (98-99)
Voici le cours de D. Kayser et C. Tollu
que vous pouvez télécharger
sous forme de fichier postscript
(à lire avec Ghostview, voyez avec l'ingénieur système).
Il s'agit d'une initiation aux théories
de la calculabilité et de la
décidabilité.
Énoncés des TD
Voici, en format postscipt, les énoncés des différents TD :
TD1
TD2
TD3
TD4
TD5
TD6
En cas de problèmes, n'hésitez pas à me contacter par courriel :
Cyril.Banderier@inria.fr