Langages Formels

Page du cours : https://home.lmf.cnrs.fr/StephaneLeRoux/Enseignement

Horaires

  • Les séances de cours ont lieu le jeudi de 14h à 16h en 1Z61.
  • Les séances de TPs ont lieu le jeudi de 16h15 à 18h15 en 1Z61.
  • Le tutorat (optionnel) a lieu le mardi de 12h45 à 13h45 en 1S53.

(voir emploi du temps L3).

Matériel pour les séances de TDs - Première partie

Matériel pour les séances de TDs - Deuxième partie

Contrôle continu

Vous aurez deux notes globales de contrôle continu, un pour la première partie du cours et une pour la seconde. Pour chaque parti, votre note globale est la moyenne des trois meilleures notes de contrôle continu. Votre note finale sera la moyenne des notes des deux partiels et des deux notes globales de contrôle continu.

Contact

Pour toutes questions, vous pouvez me contacter contacter à l'adresse : vialard (at) lmf (dot) cnrs (dot) fr