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.

Homework to hand in before Wednesday 18th November 10am (next lecture) is available here.

The source of the sheets is available here.

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