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