LifLF - Théorie des langages formels

ANNEE 2019 - 2020

Progression


  • 10/09/19 CM0 - Introduction, CM1 - Rappels maths, CM2 - Alphabets et langages
  • 16/09/19 TD1 - Rappels mathématiques, alphabets et langages
  • 17/09/19 CM3 - Automates à états finis
  • 23/09/19 TD2 - Automates à états finis déterministes
  • 24/09/19 CM4 - Déterminisation
  • 30/09/19 TD3 - Non déterminisme et déterminisation
  • 30/09/19 TP1 TP1-correction - prog. fonctionnelle en Coq / Gallina
  • 01/10/19 CM5 - Caractérisation
  • 08/10/19 CM6 - Minimisation
  • 14/10/19 TD4 - Caractérisation et automate standard
  • 14/10/19 TP2 - prog. fonctionnelle en Coq / Gallina
  • 15/10/19 CM7 - Langages rationnels - rationalité

Si CoqIDE non disponible :

  • CoqIDE en ligne Collez le sujet du TP à la place de ce qu'il y a dans le cadre de gauche

Organisation

Responsables

Volume

  • CM : 15 heures (10 x 1h30)
  • TD : 9 heures (6 x 1h30)
  • TP : 6 heures (4 x 1h30)

Horaires

  • Tous les enseignements de LifLF (et LifLC) ont lieu dans la séquence 1 (lundi matin et mardi après-midi)
  • Globalement, les CM ont lieu le mardi après-midi de 14h à 15h30, les TD / TP le lundi matin de 8h à 9h30 et de 9h45 à 11h15 ; chaque créneau de 8h à 9h30 et de 9h45 à 11h15 est occupé soit par un TD / TP de théorie des langages, soit par un TD / TP de logique classique
  • À partir du 30 septembre
    • Semaines “paires” : TD de LF de 8h à 9h30, puis TP de LF de 9h45 à 11h15
    • Semaines “impaires” : TD de LC de 8h à 9h30, puis TP de LC de 9h45 à 11h15

Intervenants

  • CM : Sylvain Brandel
  • TD et TP : Sylvain Brandel (groupe A), Emmanuel Coquery (groupe B), Romuald Thion (groupe C), Xavier Urbain (groupe D), Nicolas Louvet (groupe E), XXXX (groupe F)

Evaluation

  • Contrôle continu intégral :
    • TP noté lundi 9 décembre 2019
    • ECA mardi 10 décembre 2019 14h
    • Interros en début de TD, peut-être un autre TP noté …

Annales

ens/liflf.txt · Dernière modification: 2019/10/15 13:26 par sbrandel
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0