Programme

formal languages and models of computations

Core Documentation

course notes

Type of delivery of the course

This course includes: Face-to-face lectures; Discussions with students and debates on the discussed topics; Exercices; Attendance is not mandatory but strongly recommended.

Type of evaluation

Written and/or oral exam, of a duration usually between 60 and 80 minutes or a 3-5 pages draft