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.
- You can find a simplified C grammar here and a more detailed one here.
- Solutions.
Lecture 2 : Automata, Turing machines.
You can find the source of the sheets here.