You can find here the course & exercise sheets for the four first sessions of the Computer Science course given in during the ARTeQ year.

If you find what you think is a typo or a mistake, do not hesitate to send me an e-mail.

Lecture 1: Grammars.

  • You can find a simplified C grammar here and a more detailed one here.
  • You can find here a recursivity visualizer (in French).
  • Solutions.

Lecture 2 : Automata, Turing machines.

Lecture 3 : Computability.

Lecture 4 : Complexity.

Lecture 5 : Error correcting codes.

The source of the sheets is available here.

For your information, the homework of year 2025-2026.