Vous pouvez trouver ici, en anglais, les feuilles de cours & exercices pour les quatre premières sessions du cours d'informatique donné durant l'année ARTeQ.

Si vous trouvez ce que vous pensez être des erreurs ou des coquilles dans le cours ou les corrigés, n'hésitez pas à m'envoyer un mail.

Cours 1 : Grammaires.

  • Vous pouvez trouver une grammaire complète du C ici et une plus détaillée .
  • Solutions.

Cours 2 : Automates, Machines de Turing.

Cours 3 : Calculabilité.

Cours 4 : Complexité.

Vous pouvez trouver le source des feuilles ici.


Vous pouvez trouver ici le DM à rendre avant le 14 novembre 18h. Vous pouvez me l'envoyer par mail, ou me le donner à mon bureau en 1S62.