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.

Lecture 2 : Automata, Turing machines.

Lecture 3 : Computability.

Lecture 4 : Complexity.

You can find the source of the sheets here.