Enseignant : Arnaud Casteigts
Assistant : Ethan Arm et Margaux Marseloo
Monitrices : Anna Hugener et Oriance Oternaud

Autres pages du cours

Moodle (supports, informations, modalités d’examens, etc.)
Unige (informations administratives)

Notes de cours

Les notes de cours sont déposées ici (et sur Moodle) au fur et à mesure du semestre. Les séries d’exercices ne sont que sur Moodle.

Préambule au module [slides]
Cours 1 : Concepts de base [notes de cours] - [quiz]
Cours 2 : Automates finis déterministes [notes de cours] - [personnage du jour]

Organisation des exercices

Les séries d’exercices sont publiées sur Moodle après chaque cours. Vous êtes censés la faire entre le cours (le mercredi) et la séance d’exercices (le lundi). Lors des séances d’exercices, la série est corrigée.

Evaluation

Contrôle continu (1/6) et examen final (5/6). Le contrôle continu comprendra deux QCMs (en séances d’exercice) et un examen partiel sur le créneau du cours (le 21 octobre 2026).

Le contenu de l’examen sera très semblable à celui des séries d’exercices.

Pour aller plus loin

Une partie du cours s’inspire de “Introduction to the Theory of Computation (Michael Sipser)”. D’autres parties sont composées à partir de ressources variées, dont certains articles Wikipédia. Vous pouvez aussi consulter les notes de cours des années précédentes sur cette page.