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 simplifiée du C ici et une plus détaillée là.
  • Vous pouvez trouver ici un visualiseur de récursivité.
  • Solutions.

Cours 2 : Automates, Machines de Turing.

Cours 3 : Calculabilité.

Cours 4 : Complexité.

Cours 5 : Codes correcteurs d'erreur.

Le source des feuilles est disponible ici.

Pour information, le DM de l'année 2025-2026.